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: e17a777261ed1ea1185cabcfef2b13784ad5a0ac
Parent: 99d53451a56166373e7d70d11722162dc0ab0354
Author: Pablo <pablo-escobar@riseup.net>
Date: Sun, 9 Oct 2022 01:35:39 +0000

Removed section headers

Diffstat

1 file changed, 0 insertions, 2 deletions

Status	File Name	N° Changes	Insertions	Deletions
Modified	sections/numeric.tex	2	0	2

diff --git a/sections/numeric.tex b/sections/numeric.tex
@@ -1,5 +1,3 @@
-\section{Métodos Numéricos}
-
 \begin{frame}{Como fazer matemática com um computador?}
   \begin{itemize}
     \item Será que um computador pode nos ajudar a provar teoremas?