GitHub repository: pigworker/CS410-13
Primary language: Agda
Description: being the notes and materials for CS410 in the 2013/14 academic session