Programing Language Foudnations in Agda This is where I put the solved things from the exercises, the summary axioms, lemmas and theorems. And my own version of some proofs.