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