GitHub repository: rlamacraft/plfa.github.io
Description: Introduction to programming language theory in Agda