matthijs/master-project/report.git
11 years agoAdd support for pretty printing lambda calculus.
Matthijs Kooijman [Wed, 10 Jun 2009 11:12:55 +0000 (13:12 +0200)]
Add support for pretty printing lambda calculus.

11 years agoUse a custom selection of fonts.
Matthijs Kooijman [Wed, 10 Jun 2009 11:06:31 +0000 (13:06 +0200)]
Use a custom selection of fonts.

11 years agoFix some typos.
Matthijs Kooijman [Wed, 3 Jun 2009 10:24:27 +0000 (12:24 +0200)]
Fix some typos.

11 years agoFix typo.
Matthijs Kooijman [Mon, 25 May 2009 12:45:05 +0000 (14:45 +0200)]
Fix typo.

11 years agoAdd a SConstruct file for building Core2Core.pdf.
Matthijs Kooijman [Wed, 20 May 2009 09:58:36 +0000 (11:58 +0200)]
Add a SConstruct file for building Core2Core.pdf.

11 years agoAdd a few progress documents.
Matthijs Kooijman [Wed, 20 May 2009 09:50:12 +0000 (11:50 +0200)]
Add a few progress documents.

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

11 years agoAdd the latest version of the flat functions document.
Matthijs Kooijman [Wed, 20 May 2009 09:48:03 +0000 (11:48 +0200)]
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.

11 years agoAdd initial version of the Core2Core document.
Matthijs Kooijman [Wed, 20 May 2009 09:44:59 +0000 (11:44 +0200)]
Add initial version of the Core2Core document.

This document describes core transformations and the canonical form.