projects / matthijs / master-project / report.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
matthijs/master-project/report.git
2009-07-01 Matthijs KooijmanBriefly describe all other transforms. commit | commitdiff | tree | snapshot
2009-07-01 Matthijs KooijmanUpdate and/or remove older text. commit | commitdiff | tree | snapshot
2009-07-01 Matthijs KooijmanAdd some more transformations. commit | commitdiff | tree | snapshot
2009-07-01 Matthijs KooijmanOnly allow a word to start with a-z in pret-lam. commit | commitdiff | tree | snapshot
2009-06-30 Matthijs KooijmanAdd two transforms for argument simplification. commit | commitdiff | tree | snapshot
2009-06-29 Matthijs KooijmanAdd and improve some transformations. commit | commitdiff | tree | snapshot
2009-06-29 Matthijs KooijmanUpdate pret-lam to a new version of by begin/end_of_buf... commit | commitdiff | tree | snapshot
2009-06-11 Matthijs KooijmanMake pret-lam remember subscripted words. commit | commitdiff | tree | snapshot
2009-06-11 Matthijs KooijmanMake pret-lam support superscripts. commit | commitdiff | tree | snapshot
2009-06-11 Matthijs KooijmanRestructure pret-lam. commit | commitdiff | tree | snapshot
2009-06-10 Matthijs KooijmanPrevent pret-lam from matching subwords. commit | commitdiff | tree | snapshot
2009-06-10 Matthijs KooijmanLet pret-lam recognize the * symbol. commit | commitdiff | tree | snapshot
2009-06-10 Matthijs KooijmanFormat the example sequence as lambda calculus. commit | commitdiff | tree | snapshot
2009-06-10 Matthijs KooijmanLet pret-lam recognize the "in" keyword. commit | commitdiff | tree | snapshot
2009-06-10 Matthijs KooijmanLet pret-lam escape _ characters. commit | commitdiff | tree | snapshot
2009-06-10 Matthijs KooijmanMake Core2Core depend on pret-lam.lua. commit | commitdiff | tree | snapshot
2009-06-10 Matthijs KooijmanAdd a sequence of examples for the new transformations. commit | commitdiff | tree | snapshot
2009-06-10 Matthijs KooijmanAdd a \trans command that uses the lam pretty printing. commit | commitdiff | tree | snapshot
2009-06-10 Matthijs KooijmanAdd support for pretty printing lambda calculus. commit | commitdiff | tree | snapshot
2009-06-10 Matthijs KooijmanUse a custom selection of fonts. commit | commitdiff | tree | snapshot
2009-06-03 Matthijs KooijmanFix some typos. commit | commitdiff | tree | snapshot
2009-05-25 Matthijs KooijmanFix typo. commit | commitdiff | tree | snapshot
2009-05-20 Matthijs KooijmanAdd a SConstruct file for building Core2Core.pdf. commit | commitdiff | tree | snapshot
2009-05-20 Matthijs KooijmanAdd a few progress documents. commit | commitdiff | tree | snapshot
2009-05-20 Matthijs KooijmanAdd the latest version of the flat functions document. commit | commitdiff | tree | snapshot
2009-05-20 Matthijs KooijmanAdd initial version of the Core2Core document. commit | commitdiff | tree | snapshot
Master's thesis on the cλash compiler