corrects date

main.tex

@@ -71,7 +71,7 @@
 \maketitle
 \newpage
 
-\section*{27 October 2024 - \\ I know your type! }
+\section*{03 November 2024 - \\ I know your type! }
 \addcontentsline{toc}{section}{\protect\numberline{}03 November 2024 -  I know your type!}
 
 When Kamala Harris said, 'I know your type', about Donald Trump, made me thinking about the significance of Type theory, which is fundamental in programming languages, type-safety prevents runtime errors ensuring numbers and strings don't mix during runtime which often causes programs to crash. Type Theory is also essential in SMT (Satisfiability Modulo Theories) and SAT (Boolean Satisfiability) solving, which are used in formal verification and proof assistants.  The Curry-Howard correspondence establishes a connection between logic and computation giving a path towards high-assurance software. Formal verification uses automatic proof procedures to ensure a computer program works correctly.