You can clone with
Finish the report. I am done.
Update the commit id.
Write something down about functions.
Get the preliminaries in here.
Change the \tpbb relation.
B00m, fix naming of variables and make it into a macro.
Sigh, change l^k to l[k].
Carry out some minor changes to the report.
Kill yet another name-change by Andrzej.
Go through the report. Down to 4 fixmes needed.
Cut down the amount of work left.
Get the number of fixmes down to 5. We ought to get it lower yet!
Fix the preservation proof and make ready for the next part.
Small amount of cleanups.
Prove progress on paper.
Get almost rid of the progress proof.
Killing Fixmes and solving.
More smaller notes.
Do the preservation proof. Begin on doing the progress proof.
WIP: More report structure.
Fix bibtex references.
Kill a couple of Fixmes for this work.
Change gamma -> phi to match the Document.
Go back over the typing and fix it.
More report tightening.
Slowly correct down to the Type system.
Update down to main syntax, fixing stuff as we go along.
Grammar correction down to the point of Syntax.
Go through the bibliography and fix it.