GitHub repository: pigworker/MetaprogAgda
Description: being the materials for Summer 2013's course