k-bx/plfa-exercises

Programming Language Foundations in Agda

My exercises for https://plfa.github.io/