regenerated with current date

Author: mmakowski

notes.pdf

@@ -719,4 +719,4 @@ \section{Further Reading}
 \url{https://en.wikipedia.org/wiki/Kleene-Rosser_paradox}
 \end{thebibliography}
 
-\end{document}
+\end{document}

notes.tex

@@ -399,6 +399,7 @@
 \end{frame}
 
 
+
 % -------------------------------------------
 \begin{frame}{Simple Types}
 \begin{center}