Solutions to the book: Programming Language Foundations in Agda, from Wadler, Philip, Wen Kokke, and Jeremy G. Siek
Primary LanguageAgda
No issues in this repository yet.