GitHub repository: pigworker/CS410-16
Primary language: Agda
Created: 2016-09-19T17:51:38Z
Description: being the lecture materials and exercises for the 2016/17 session of Advanced Functional Programming at Strathclyde