curry-howard
Slides of a (very) informal lecture of mine on the Curry-Howard correspondence
| File Name | Size | Mode |
| sqrt.py | 39B | -rw-r--r-- |
1 math.sqrt(2) ** 2 # 2.0000000000000004
Slides of a (very) informal lecture of mine on the Curry-Howard correspondence
| File Name | Size | Mode |
| sqrt.py | 39B | -rw-r--r-- |
1 math.sqrt(2) ** 2 # 2.0000000000000004