ttfp
Writing some implementations for definitions found in Type Theory and Formal Proof.
boyvanduuren/ttfp
Some implementations for definitions in "Type Theory and Formal Proof"
HaskellBSD-3-Clause
Some implementations for definitions in "Type Theory and Formal Proof"
HaskellBSD-3-Clause
Writing some implementations for definitions found in Type Theory and Formal Proof.