synching
funny how the pdf evolves
a pile more ixcon stuff
made it to vector calculus
roman containers and other stories
hancockiana
fixed a few things, rebuilt the pdf
started IR
Merge branch 'master' of github.com:pigworker/MetaprogAgda
tex tweaks
records right left and manifest
tex tweaks for records
universe with trees
the inevitable tex tweaks
hierarchy bis
composition ho ho ho
Irish IR is go
opening rant for OTT
OTT equality defined
separated prop layer