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.

Support ▶ in the lambda prettyprinter.

We'll have to use the glyph from our roman font, since our sans font
doesn't have it.

Add note about β-reduction for type variables.

Restructure some of the normalization chapter.

Some minor fixes and improvements.

Put a VHDL in smallcaps.

Fix two references.

Finalize the proofs section.

Also add a section about proofs to the future work section.

Add vim modelines.

Review more chapters.

Fix typo in regex for subscripts.

Review the first few chapters.

This fixes a lot of small errors, improves some wordings, adds some todos
and rewrites all todos to use the fixme package.

Use the unicode rightwards arrow instead of \rightarrow.

It seems this uses the arrow from the current font instead of something
else, which looks slightly better.

Support => in the lambda prettyprinter.

Use a non-breaking space instead of \obs in the lambda prettyprinter.

This makes sure that lambda expressions don't get breaks halfway, but
still preserves multiple spaces (apparently the unicode non-breaking space
is not collapsed like other whitespace).

Put DEFAULT in smallcaps in the lambda prettyprinter.

Prevent some shortcuts from gobbling the next space.

Or rather, let them take a guess and reinsert the next space, I think, but
it seems to work.

Add (commented) lines to disable todo's and fixmes.

This leaves notes enabled, which should be visible to my supervisors.

Add (commented) lines for 2-up printing.

Enable the fixme module.

Update title.

Add / update TODOs.

Add two TODOs.

Remove an extra backslash.

This screws up syntax highlighting, but at least gives proper output.

Add a section on the Core type system.

Add section about don't care values.

Add TODO.

Update outline.

Fix source indentation.

Expand the improved notation for state and pipelining sections.

Update outline.

Promote the Output format subsection to a section.

Put a vector error over "output" in a figure.

Add the prototype to the research goals.

Properly escape ampersands.

Add section on Choice.

Add \VHDL and \GHC shortcuts.

Enable indent stripping for \typebufferlam and \typebufferhs.

Fix layout of a transformation.

Automatically strip leading whitespace from all typing environments.

This is a new feature in ConTeXt, that replaces my custom code in the
pretty printers.

Revert "Allow transformations to be indented."

ConTeXt now includes support to do this for any typing environment.

This reverts commit 72a9e027667346a15478adc8109c26a4ffd17f5e.

Revert "Allow lambda expression to be indented."

ConTeXt now includes support to do this for any typing environment.

This reverts commit 8b0d89230c60a843886d36f392755e169b29a114.

Improve a footnote.

Add a section on the output format.

Describe Top level binding inlining.

Allow literal $'s to be used in lambda expressions.

Make the normal form use only recursive lets again.

Previously, both recursive and non-recursive lets were allowed, which made
a lot of transformations a lot more complex. Now, all lets are made
recursive again, which makes things simpler.

Also do some other miscellaneous fixes in the Normalization chapter.

Explicitely use "letrec" for recursive lets.

Make pret-trans call pret-lam indirectly.

Previously, the pret-lam functions were called directly from lua. Now, the
pret-trans prettyprinter generates \startlambda commands so the pretty
printer is called later. This means the start/end_of_block calls now also
include the right part.

Improve Normalization chapter a bit.

Update outline.

More indent fixes to the Normalization chapter.

Remove an unused (and commented) macro.