This repository is not active
stefan-wullems/ttfp-implementations
Implementations following "Type Theory and Formal Proof: An Introduction".
Idris
Implementations following "Type Theory and Formal Proof: An Introduction".
Idris
This repository is not active