GitHub repository: michel-steuwer/sf
Primary language: Agda
Description: Introduction to programming language theory in Agda.