Awesome

MetaprogAgda

being the materials for Summer 2013's course