curry-howard

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

File Name	Size	Mode
.gitignore	124B	-rw-r--r--

 1 _minted-main
 2 *.aux
 3 *.bak
 4 *.bbl
 5 *.blg
 6 *.log
 7 *.nav
 8 *.out
 9 *.xml
10 *.snm
11 *.toc
12 *.fdb_latexmk
13 *.fls
14 *.vrb
15 *.bcf
16 *.pdf
17 images/*.pdf