/plfa

My solutions to the exercises in the book, Programming Language Foundations in Agda.

Primary LanguageAgda