We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
Agda 263 27
being the materials for Summer 2013's course
110 18
being the materials for CS410 Advanced Functional Programming in the 2014-15 session
Agda 67 5
being the teaching materials and exercises for CS410 in the 2018/19 session
Agda 56 4
being the scrapings of my stackoverflow answers
TeX 48 2
being bits and pieces I'm inclined to leave lying around
Agda 46 1