Basic codes related to Ulf Norell Dependent type programming in Agda
Merge branch 'master' of https://github.com/mukeshtiwari/Agda