GitHub repository: Kwezan/plfa.github.io
Primary language: Agda
Created: 2018-08-31T08:47:50Z
Description: Introduction to programming language theory in Agda.