The report
That's it, my report is finished. I had a little panic attack this morning when I realised that the entire section I had written about algorithm W and unification was garbage, but I rewrote it and everything is fine now. Jeremy has promised he'll proof-read it until tomorrow morning and I will re-read it too until then. But basically it is done. I even have a nice title page. The grand total of pages is 61. It is quite a pleasant feeling to have finished this report, and even well in time!