Solution of exercises for the book Programming Language Foundations in Agda
Each .agda file contains the code in the textbook and the solution to the exercise, the notation of which is compatible with the notation in the textbook, not the standard library.