plfa/plfa.github.io

An introduction to programming language theory in Agda

GitHub repository with 1,510 stars and 352 forks.

Language: Agda

Open provider repository