/ttfpi-agda

Formalization of the book "Type Theory and Formal Proof: An Introduction" in Agda

Primary LanguageAgdaBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

Watchers

No one’s watching this repository yet.