curry-howard

Slides of a (very) informal lecture of mine on the Curry-Howard correspondence

Commit
efcbe24e146941712c5caac5db455bf38a938372
Parent
44578ec4d86f72e55db810332a6f1382412d4f80
Author
Pablo <pablo-escobar@riseup.net>
Date

Fixed a typo

Diffstat

2 files changed, 1 insertion, 1 deletion

Status File Name N° Changes Insertions Deletions
Deleted main.pdf 0 0 0
Modified main.tex 2 1 1 
diff --git a/main.pdf b/main.pdf
Binary files differ.
diff --git a/main.tex b/main.tex
@@ -17,7 +17,7 @@
   \begin{itemize}
     \item Baseado em
       \href{https://www.youtube.com/watch?v=T9ZqbQh-t9E}{Machine-Assisted
-      Proof}
+      Proofs}
 
       \pause