Conor McBride's repositories
MetaprogAgda
being the materials for Summer 2013's course
so-pigworker
being the scrapings of my stackoverflow answers
TypesWhoSayNi
being the materials for a paper I have in mind to write about the bidirectional discipline
ProgrammerCommaCon
being a collection of Agda-facilitated ramblings
Gigs-Summer-2018
what I did on my holidays
Ohrid-Agda
being my notes and exercises for the Types Summer School in Ohrid, (FYRO) Macedonia, July 2017
InteriorDesign
being the monadic treatment of interiors indexed by perimeters