Pinned Repositories
CS410-14
being the materials for CS410 Advanced Functional Programming in the 2014-15 session
CS410-15
being the materials for CS410 Advanced Functional Programming in the 2015/16 session
CS410-17
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
CS410-18
being the teaching materials and exercises for CS410 in the 2018/19 session
MetaprogAgda
being the materials for Summer 2013's course
ProgrammerCommaCon
being a collection of Agda-facilitated ramblings
Samizdat
being bits and pieces I'm inclined to leave lying around
shonky
being some experiments, working towards some equipment I wish I had
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
pigworker's Repositories
pigworker/CS410-17
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
pigworker/MetaprogAgda
being the materials for Summer 2013's course
pigworker/CS410-18
being the teaching materials and exercises for CS410 in the 2018/19 session
pigworker/so-pigworker
being the scrapings of my stackoverflow answers
pigworker/Samizdat
being bits and pieces I'm inclined to leave lying around
pigworker/TypesWhoSayNi
being the materials for a paper I have in mind to write about the bidirectional discipline
pigworker/ProgrammerCommaCon
being a collection of Agda-facilitated ramblings
pigworker/Saturday
being a thing I build on a Saturday
pigworker/Bi71
being a bidirectional reformulation of Martin-Löf's 1971 type theory
pigworker/EGTBS
being the introduction to co-de-Bruijn metasyntax
pigworker/potato
being an experiment with potato power
pigworker/Syrup
being a programming language for sequential circuits
pigworker/LEOG
being an implementation of the calculus of constructions
pigworker/Ming
being the emperor of Mongo, but also a verb
pigworker/MS4P
being some thoughts about introductory mathematics for computer science
pigworker/CS410-16
being the lecture materials and exercises for the 2016/17 session of Advanced Functional Programming at Strathclyde
pigworker/Gigs-Summer-2018
what I did on my holidays
pigworker/Ohrid-Agda
being my notes and exercises for the Types Summer School in Ohrid, (FYRO) Macedonia, July 2017
pigworker/Box
being a hooliganistic type theory implementation
pigworker/BiF
being a toy implementation of bidirectional System F
pigworker/CS311-classwork-2018
pigworker/SmolCat
being an exploration of categories small enough for arrows to have uncontroversially intensional equality
pigworker/InteriorDesign
being the monadic treatment of interiors indexed by perimeters
pigworker/leibniz
being a toy which invites its user to evaluate applicative Haskell programs
pigworker/PoP
being code and blether about presheaves on purpose
pigworker/rod
being that which, if spared, spoils the child
pigworker/sharx
being shonky Marx
pigworker/ask-bis
being a second attempt to build the ask proof assistant, hopefully with less flake
pigworker/Bevan
being a cut-down public version of Marx
pigworker/Pert
being some thoughts about the succinct organisation of data by pertinence