curry-howard

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

 for n in N:
     for m in N:
         assert p(n, m) == 1