minitt

This is a fairly faithful Python implementation of MiniTT from the chapter: 'T. Coqand, Y. Kinoshita, B Nordstrom, M Takeyama. A simple type-theoretic language: Mini-TT' in `From Semantics to Comuter Science' (2009).