17 open source projects by pigworker

being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

being the scrapings of my stackoverflow answers

being the teaching materials and exercises for CS410 in the 2018/19 session

being the emperor of Mongo, but also a verb

being the programs and code for a paper about general recursion

being some experiments, working towards some equipment I wish I had

being the materials for CS410 Advanced Functional Programming in the 2014-15 session

being the materials for CS410 Advanced Functional Programming in the 2015/16 session

being an experiment with potato power

being the materials for a paper I have in mind to write about the bidirectional discipline

being a collection of Agda-facilitated ramblings

being a funny little programming language with a funny little abstract machine

being a thing I build on a Saturday

being a slightly rethought version of the Frank implementation

being the materials for Summer 2013's course

being a bidirectional reformulation of Martin-Löf's 1971 type theory

being the lecture materials and exercises for the 2016/17 session of Advanced Functional Programming at Strathclyde