GitHub repository: matematiflo/plfa
Primary language: Agda
Description: An introduction to programming language theory in Agda