Conor McBride's repositories
TypesWhoSayNi
being the materials for a paper I have in mind to write about the bidirectional discipline
MetaprogAgda
being the materials for Summer 2013's course
ProgrammerCommaCon
being a collection of Agda-facilitated ramblings
so-pigworker
being the scrapings of my stackoverflow answers
Gigs-Summer-2018
what I did on my holidays
InteriorDesign
being the monadic treatment of interiors indexed by perimeters
Bevan
being a cut-down public version of Marx
Language:Haskell000
Ohrid-Agda
being my notes and exercises for the Types Summer School in Ohrid, (FYRO) Macedonia, July 2017
Pert
being some thoughts about the succinct organisation of data by pertinence
000