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.

Reshuffle all transformations into categories.

This changes no text, only ordering and indentation. Transformation are
now put into a few categories (which still need an introductory text).

Allow lambda expression to be indented.

Allow transformations to be indented.

Add some stuff about provable properties of our system.

This section is still incomplete, the actual (ideas for) proofs still need
to be written.

Fix lua reference to ctxcatcodes.

Apparently something changed in context, making the old code not work (in
a weird and unexpected way).

Add some extra outline to the Hardware Description chapter.

Add more content to the Hardware Description chapter.

Finish state section in hardware description chapter.

Also move a bunch to the prototype chapter, since it is Haskell specific.

Add some more stuff about state.

Add two pictures.

Add some more context.

Add some context.

Add some more content to the State section.

Add a Context chapter.

Use \in instead of \at to refer to section numbers.

\at refers to page numbers instead.

Move the example float definition to Utils/.

Add \typebufferhs command to Haskell-typeset a buffer.

Actually compile the Future work chapter.

Add section label.

(Almost) finish the future work chapter.

Only the first two sections need some expansion.

Move the State chapter into the Hardware Description chapter.

Add a section on expressions in the Core language.

There should be another (sub)section on typing in the Core language.

Make "DEFAULT" a keyword.

Allow commas in implicit subscripts.

Fix typo.

Split "extended β-reduction" into two transformations.

Let \refdef generate clickable links.

Enable interaction (clickable links) in the table of contents.

Enable interaction (clickable links).

Reset quotation settings after changing them.

This partly works around a possible bug in Context, where \setupquotation
also affects (breaks) \quote output.

Update the definitions section and add references.

Add macros for definitions and inmargin references to them.

Restructure the section structure of the Normalization chapter.

Improve and clarify transformation format definition.

Add a section on binder uniqueness.

Add note about differences between Core and the graphical version.