/plfa.github.io

An introduction to programming language theory in Agda

Primary LanguageAgdaCreative Commons Attribution 4.0 InternationalCC-BY-4.0

Stargazers