Learn Agda

I am reading the Agda Tutorial by Péter Diviánszky, Ambrus Kaposi, and Gábor Páli, which is, I think, very helpful. There are many exercises in this tutorial, and what I am doing is to answer these exercises and put up the solutions here. Up to the module "Term_Inference", the questions are all answered by Renzo Carbonara, which can be found on GitHub . I'll keep updating untill I complete all the questions in this tutorial.

Opened on: 08/18/2015.