GitHub repository: pigworker/CS410-17
Primary language: Agda
Created: 2017-09-09T09:16:05Z
Description: being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde