stefan-wullems/ttfp-implementations

Implementations following "Type Theory and Formal Proof: An Introduction".

Idris