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