/ttfp-implementations

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

Primary LanguageIdris

This repository is not active