projects / matthijs / master-project / report.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Restructure the introduction of the Normalization chapter.
2009-06-11 Matthijs KooijmanMake pret-lam remember subscripted words.
 commit | commitdiff | tree
2009-06-11 Matthijs KooijmanMake pret-lam support superscripts.
 commit | commitdiff | tree
2009-06-11 Matthijs KooijmanRestructure pret-lam.
 commit | commitdiff | tree
2009-06-10 Matthijs KooijmanPrevent pret-lam from matching subwords.
 commit | commitdiff | tree
2009-06-10 Matthijs KooijmanLet pret-lam recognize the * symbol.
 commit | commitdiff | tree
2009-06-10 Matthijs KooijmanFormat the example sequence as lambda calculus.
 commit | commitdiff | tree
2009-06-10 Matthijs KooijmanLet pret-lam recognize the "in" keyword.
 commit | commitdiff | tree
2009-06-10 Matthijs KooijmanLet pret-lam escape _ characters.
 commit | commitdiff | tree
2009-06-10 Matthijs KooijmanMake Core2Core depend on pret-lam.lua.
 commit | commitdiff | tree
2009-06-10 Matthijs KooijmanAdd a sequence of examples for the new transformations.
 commit | commitdiff | tree
2009-06-10 Matthijs KooijmanAdd a \trans command that uses the lam pretty printing.
 commit | commitdiff | tree
2009-06-10 Matthijs KooijmanAdd support for pretty printing lambda calculus.
 commit | commitdiff | tree
2009-06-10 Matthijs KooijmanUse a custom selection of fonts.
 commit | commitdiff | tree
2009-06-03 Matthijs KooijmanFix some typos.
 commit | commitdiff | tree
2009-05-25 Matthijs KooijmanFix typo.
 commit | commitdiff | tree
2009-05-20 Matthijs KooijmanAdd a SConstruct file for building Core2Core.pdf.
 commit | commitdiff | tree
2009-05-20 Matthijs KooijmanAdd a few progress documents.
 commit | commitdiff | tree
2009-05-20 Matthijs KooijmanAdd the latest version of the flat functions document.
 commit | commitdiff | tree
2009-05-20 Matthijs KooijmanAdd initial version of the Core2Core document.
 commit | commitdiff | tree
Master's thesis on the cλash compiler