/plfa.github.io

Introduction to programming language theory in Agda

Primary LanguageAgdaCreative Commons Attribution 4.0 InternationalCC-BY-4.0

No issues in this repository yet.