Notes and exercises for the book "Programming Language Foundations in Agda" - View it on GitHub