GitHub repository: wenkokke/sf
Primary language: Agda
Description: Introduction to programming language theory in Agda.