Dependent 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 third and last one Dependent typed lambda calculus (with tests) . I continue from where I stopped in the second one: Simply typed lambda calculus in Python In comparison with the simply typed version the code changed little, I dropped the mini parser because it would be too complicated to parse type since they contain arbitrary terms now, you can find the full code here : github.com/dhilst/lamp