Starting Code of A Dependently Typed Programming Language in Agda.
Starting Code of A Dependently Typed Programming Language in Agda. Removing temporary files
Merge branch 'master' of https://github.com/rodrigogribeiro/agda-tutorial