curry-howard

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

File Name	Size	Mode
types.py	124B	-rw-r--r--

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