curry-howard

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

types.py (124B)

1 class AndPQ:
2     """P e Q <-> AndPQ"""
3     def __init__(self, h1: P, h2: Q):
4         self.left = h1
5         self.right = h2