/types-and-programming-languages

My solutions to the exercises in the book, Types and Programming Languages.

Primary LanguageAgda

Types and Programming Languages

My solutions to the exercises in the book.