wynnliam/plfa

Exercises and notes from Dr. Philip Wadler's Programming Language Foundations in Agda

Exercies and notes from Dr. Philip Wadler's Programming Language Foundations in Agda