curry-howard

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

exhaustion.py (28B)

 for x in X:
     assert p(x)