Add a section on prototype implementation (with the git url).
[matthijs/master-project/report.git] / Outline
2009-12-08 Matthijs KooijmanSay something about using top level function instead...
2009-12-08 Matthijs KooijmanSay Core instead of core.
2009-12-07 Matthijs KooijmanFix the font of footnotes.
2009-12-07 Matthijs KooijmanUse η/β-expansion instead of η/β-abstraction.
2009-12-07 Matthijs KooijmanAdd Scrutinee binder removal.
2009-12-07 Matthijs KooijmanRemove TODO (links were made non-bold a few commits...
2009-12-07 Matthijs KooijmanRemove some TODOs.
2009-12-07 Matthijs KooijmanAdd a section on simulation.
2009-12-07 Matthijs KooijmanFix things following from comments from Marco and Sabih.
2009-12-06 Matthijs KooijmanFix a lot of things following from Jan's comments.
2009-12-06 Matthijs KooijmanAdd strikethrough to the lambda prettyprinter.
2009-12-06 Matthijs KooijmanAdd TODO.
2009-12-05 Matthijs KooijmanVarious small fixes following from Bert's commentaar.
2009-12-05 Matthijs KooijmanRemove a TODO.
2009-12-05 Matthijs KooijmanReplace statement with expression everywhere.
2009-12-03 Matthijs KooijmanAdd initial sketch for conclusions.
2009-12-02 Matthijs KooijmanAdd TODO.
2009-12-02 Matthijs KooijmanMove some more stuff around in the Normalization chapter.
2009-12-01 Matthijs KooijmanRestructure and expand parts of the normalization chapter.
2009-11-30 Matthijs KooijmanRestructure some of the normalization chapter.
2009-11-30 Matthijs KooijmanFinalize the proofs section.
2009-11-27 Matthijs KooijmanReview more chapters.
2009-11-24 Matthijs KooijmanReview the first few chapters.
2009-11-12 Matthijs KooijmanAdd / update TODOs.
2009-11-11 Matthijs KooijmanUpdate outline.
2009-11-11 Matthijs KooijmanUpdate outline.
2009-11-02 Matthijs KooijmanUpdate outline.
2009-10-06 Matthijs KooijmanAdd note to the outline.
2009-09-30 Matthijs KooijmanUpdate outline.
2009-09-28 Matthijs KooijmanAdd "New language" to the outline.
2009-09-24 Matthijs KooijmanUpdate outline.
2009-09-09 Matthijs KooijmanAdd a brainstorm for an outline.