curry-howard

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

git clone: git://git.pablopie.xyz/curry-howard
Log
Files
Refs
README
LICENSE

Commit: 08f529f941c10d9a973246f52c3eb0764fdbea09
Parent: c8a566f95d4bb59ed596af1cb66b52dd5da36b15
Author: Pablo <pablo-escobar@riseup.net>
Date: Sun, 9 Oct 2022 21:05:19 +0000

Minor tweak

Diffstat

1 file changed, 1 insertion, 1 deletion

Status	File Name	N° Changes	Insertions	Deletions
Modified	main.tex	2	1	1

diff --git a/main.tex b/main.tex
@@ -78,7 +78,7 @@
     \end{column}
     \begin{column}{.65\linewidth}
       \begin{itemize}
-        \item Se eu tenho um número finito de casos\dots posso testar todos os
+        \item Se eu tenho um número finito de casos\dots\ posso testar todos os
           casos!
           \begin{figure}
             \centering