Add two transforms for argument simplification.
[matthijs/master-project/report.git] / pret-lam.lua
2009-06-29 Matthijs KooijmanUpdate pret-lam to a new version of by begin/end_of_buf...
2009-06-11 Matthijs KooijmanMake pret-lam remember subscripted words.
2009-06-11 Matthijs KooijmanMake pret-lam support superscripts.
2009-06-11 Matthijs KooijmanRestructure pret-lam.
2009-06-10 Matthijs KooijmanPrevent pret-lam from matching subwords.
2009-06-10 Matthijs KooijmanLet pret-lam recognize the * symbol.
2009-06-10 Matthijs KooijmanLet pret-lam recognize the "in" keyword.
2009-06-10 Matthijs KooijmanLet pret-lam escape _ characters.
2009-06-10 Matthijs KooijmanAdd support for pretty printing lambda calculus.