Put spaces in example and definition labels.

Put some function names inside \hs.

Don't use haddock style comments.

This will probably only confuse readers.

Add two intermezzo's and shuffle some floats around.

One intermezzo about reading Cλash and one about null, head and tail.

Fix the return value simplification transformation.

Suppres headers on the final (empty) page.

Only show three levels of contents.

Replace a starttyping with starthaskell.

Prevent page breaks directly before boxed typings.

Restart numbering of footnotes on every page.

Add boxes around two figures.

Unify examples, figures and definitions.

They now all use the same numbering and all have their captions at the
top.

Prevent spaces after citations from being gobbled.

Fix some more header stuff.

Misc fixes from own review.

Add a VHDL typing style (and some other fixes).

This was an attempt to get line numbering on the VHDL files, but
apparently line numbering is broken in MkIV. Oh well, at least it added
a nice box around the VHDL.

Fix the font of footnotes.

It now has a lambda!

Set up headers, footers and page numbers.

Improve the layout of intermezzos.

In particular, don't put spacing above and below it, which looks ugly.

Move a sidenote.

Disable display of TODO's.

Use η/β-expansion instead of η/β-abstraction.

Add Scrutinee binder removal.

Move some examples around.

Actually refer to the intended normal form definition.

Some more fixed resulting from Jan's comments.

Always use a lowercase letter after a colon.

Improve some wordings.

Add sitenote about arguments vs. inputs.

Fix a reference.

Add intermezzo on wild binders.

Improve the titlepage.

Add an intermezzo about the id function.

Add some content to the case normalization section.

Remove deprecated paragraph.

Remove TODO (links were made non-bold a few commits back).

Move references to the larger margin.

Use \VHDL\ (etc.) instead of relying on \autoinsertnextspace.

The \autoinsertnextspace macro is not always reliable and was removed in
a recent ConTeXt version.

Remove TODO.

Say something about not using simplified core.

Remove some TODOs.

Add a section on simulation.

Use normal style zeroes instead of using the sans font.

Don't suggest messing with the clock input.

Instead, use a register's write enable port.

Move the Template Haskell intermezzo a bit down.

Invert the intermezzo offset.

This looks way better for left margin intermezzo's and doesn't seem to
matter much on right ones.

Set up doublesided margins and pagenumbering.

Put one more 0 in another font.

Fix things following from comments from Marco and Sabih.

Add reference about Core's operational semantics.

Fix a lot of things following from Jan's comments.

Improve strikethrough a bit.

Remove debug print from pret-lam.

Limit luatex to 500M of virtual memory.

Luatex has the tendency to bring down the entire system when it goes
into some infinite loop.

Make a var local (again) in pret-lam.

Prettyprint comments in italic.

Add strikethrough to the lambda prettyprinter.

Add TODO.

Various small fixes following from Bert's commentaar.

Add backmatter commands.

Remove unused defref.

Remove a TODO.

Replace statement with expression everywhere.

Add another reference.

Add some references to the context chapter.

Make sure the list of references is numbered.

Fix todo's in the introduction chapter.

Allow passing a once option to scons.

Setup bibtex.

Add section on EDSLs.

Note that we've not considered EDSLs and TH.

Finalize section on state in prototype chapter.

Partially update state annotations section in the prototype chapter.

This is an unfinished commit, to store intermediate progress.

Require an automatic subscript to start with a number.

Remove todo.

Improve graph representation section a bit.

Remove todo.

Improve conclusions.

Make a small start on the state annotations section.

Note the use of tuples for hierarchic state.

Fix unbalanced parenthesises.

Update conclusions.

Add a section on normalization of stateful descriptions.

Add missing parenthesis.

Add initial sketch for conclusions.

Reference the substitution intermezzo.

Add TODO.

Solve and remove some todos.

Add an intermezzo about substitution.

This is the first attempt at an intermezzo, which is not quite ideal yet,
but it works for now.

Build the pdf only once each time.

This might leave incorrect references, but speeds up the process.

Fix reference.

Fix typo.

Move some more stuff around in the Normalization chapter.

Fix two references.

Rename example function app2 to twice.

app2 would get the 2 in subscript, which might be confusing.

Use \$ instead of just $ in lambda expressions.

This prevents vim's syntax highlighting from screwing up.

Restructure and expand parts of the normalization chapter.

Document the use of type annotations on variable references.

Remove some whitespace.

Change the symbol used for casting to ▶.

This removes the ambiguity between using :: for explicitly casting and for
showing the type of an expression.