curry-howard

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

Commit
9eaadb61f5819062f068138bdfd32186af09f402
Parent
511e69a40ac54368f0f0b09d93595c9d4453636b
Author
Pablo <pablo-escobar@riseup.net>
Date

Compressed the picture of the calculator

Diffstat

1 file changed, 0 insertions, 0 deletions

Status File Name N° Changes Insertions Deletions
Modified images/calculator.jpg 0 0 0 
diff --git a/images/calculator.jpg b/images/calculator.jpg
Binary files differ.