Beast code in Giters

Conor McBride's starred repositories

being bits and pieces I'm inclined to leave lying around

Language:Agda4200

being some thoughts about introductory mathematics for computer science

Language:TeX1000

being an operating system for typechecking processes

Language:Haskell11700

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

Language:AgdaCC0-1.04000

being the notes and materials for CS410 in the 2013/14 academic session

Language:Agda2700