Simply Typed Lambda Calculus in Python

In this series of posts I will port this post about dependent typed lambda calculus to Python. This is the second one Simply typed lambda calculus (with tests) . I continue from where I stopped in the first one: Untyped lambda calculus in Python All the code can be found here : github.com/dhilst/lampy3/blob/master/stlc.py In this one I had to use a simple parser for the types, to make it easier to write the tests. This parsing is introduced in this post: Right associative lambda calculus . Also I ex