curry-howard

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

 for x in X:
     assert p(x)