git.pablopie.xyz
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
raw file (blob)
coq.png (6269B)
Binary file