summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Matthijs Kooijman [Wed, 10 Jun 2009 11:13:17 +0000 (13:13 +0200)]
Add a \trans command that uses the lam pretty printing.
Matthijs Kooijman [Wed, 10 Jun 2009 11:12:55 +0000 (13:12 +0200)]
Add support for pretty printing lambda calculus.
Matthijs Kooijman [Wed, 10 Jun 2009 11:06:31 +0000 (13:06 +0200)]
Use a custom selection of fonts.
Matthijs Kooijman [Wed, 3 Jun 2009 10:24:27 +0000 (12:24 +0200)]
Fix some typos.
Matthijs Kooijman [Mon, 25 May 2009 12:45:05 +0000 (14:45 +0200)]
Fix typo.
Matthijs Kooijman [Wed, 20 May 2009 09:58:36 +0000 (11:58 +0200)]
Add a SConstruct file for building Core2Core.pdf.
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.
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.
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.
projects / matthijs / master-project / report.git / log