Update a bunch more transformations.

This almost completes the transformation specifications.

Add content to a bunch more transformations.

Reorder and complete the list of transformations.

This does not add any content, except for updating β-reduction.

Add a bit spacing after a transformation.

Or rather, don't remove it.

Add a new definition of the normal form.

This definition uses a sort of EBNF.

Make pret-lam preserve alignment using whitespace.

This is slightly complicated, but it should work properly in most cases.

Declare variables as local in pret-lam.

Support the | character in pret-lam.

Remove explicit subscription underscores.

These are now autodetected.

Update normal form example.

Let all lambda expressions in pret-trans share subscript detection.

Let pret-lam support blocks of multiple lambda expressions.

This enables subscript detection from one lambda expression or buffer to
influence the lambda detection in other buffer.

Use local variables for storing visualizer dicts.

Using global variables could cause problems when pretty printers call
eachother and use the vis variable.

Improve subscript handling in pret-lam.

The handling is now a bit more strict when automatically detecting
multiple character subscripts, to prevent things like "return" from being
turned into "r_eturn".

Make pret-trans complain on invalid input.

Before, the lua would just crash with a vague error.

Use the Linux Libertine roman font for regular text.

It turned out that the palatino (and most other roman fonts shipped with
context) didn't have greek letters.

Use antykwa for math, and palatino for serif text.

Make pret-haskell work also for inline \types.

Somehow, \type sets the catcodes different than \starttyping, causing \obs
and other escape codes produced by pret-haskell to not work. Now,
pret-haskell sets the right catcodes for each print, so this is no longer
a problem.

Remove two old (empty) chapter definitions.

Remove \stoptext from the Normalization chapter.

Make \hs print in monospaced.

Remove a few debug prints from pret-trans.

Make pret-lam work for \type{} as well.

Actually enable the Hardware description chapter.

Update the pret-trans to current context beta.

Update the pret-lam to current context beta.

Fix typo in SConstruct file.

Add a Hardware description chapter, that describes the language.

This chapter is still far from finished.

Make Core2Core a chapter in the report.

This removes some old definitions in the file and disables some content
that needs rewriting.

Make Report use globbing for dependencies.

Report now depends on all Chapters, all Utils and all local pretty
printers.

Remove debug print from pret-haskell.lua.

Define a \hs command for inline Haskell.

Fix a comment.

Add some content to the State chapter.

It is still far from complete and correct.

Add a haskell pretty printer.

This pretty printer is mostly just verbatim text, but with the ability to
apply strikethrough to lines by putting dashes around the text.

Use AddPostAction for scp'ing Report.pdf.

This is slightly more elegant than doing the scp as part of the context
builder.

Tell scons about Report.tex.

Actually use Shortcuts.tex.

Rename shortcuts.tex to Shortcuts.tex

Add some initial structure for the final report.

This structure is far from final or complete, but serves to test the
building infrastructure. Also, the State chapter contains some notes about
possible content.

Clean up SConstruct file.

Use the transformation pretty printer.

This changes two transformations to use the new pretty printer, the rest
still needs to be converted.

Make ~ a symbol in lambda calculus.

Add transformation pretty printer.

Add TODO.

Allow a word to start with uppercase letters too.

Briefly describe all other transforms.

Update and/or remove older text.

Add some more transformations.

Also, restructure the argument simplification a bit, since it turns out
argument extraction applies to builtin functions as well.

Only allow a word to start with a-z in pret-lam.

This prevents seeing a λ or other non a-z (but letter characters according
to the %a character class) as the start of a word.

Add two transforms for argument simplification.

Also, add some text describing why the transforms are neccesary and how
they work.

Add and improve some transformations.

Update pret-lam to a new version of by begin/end_of_buffer patch.

Now, begin_of_buffer and end_of_buffer are always called, even for \type{}
commands. This greatly simplifies their contents and hackyness.

Also add some comments.

Make pret-lam remember subscripted words.

This allows pret-lam to make "n" a subscript in "En", if it has seen "E1"
before, for example. This requires a change in context, which I will try
to get included next.

Make pret-lam support superscripts.

Both explicit superscripts, using _ and implicit by just appending a
number are supported.

Restructure pret-lam.

This change makes a distinction between words and symbols, which allows it
to prevent highlighting "let" in "letting" for example.

Prevent pret-lam from matching subwords.

Let pret-lam recognize the * symbol.

Format the example sequence as lambda calculus.

Let pret-lam recognize the "in" keyword.

Let pret-lam escape _ characters.

Make Core2Core depend on pret-lam.lua.

Add a sequence of examples for the new transformations.

The transformations themselves are not in the document yet, but this was
an exploration of the possibilities.

Add a \trans command that uses the lam pretty printing.

Add support for pretty printing lambda calculus.

Use a custom selection of fonts.

Fix some typos.

Fix typo.

Add a SConstruct file for building Core2Core.pdf.

Add a few progress documents.

These documents contain miscellaneous notes from the early stages of the
project.

Add the latest version of the flat functions document.

This document is unfinished and will probably be deprecated in the future,
but is still added to preserve history.

Add initial version of the Core2Core document.

This document describes core transformations and the canonical form.