Notes and exercises for the book "Verified Functional Programming in Agda" - View it on GitHub