git.stderr.nl Git - matthijs/master-project/report.git/history

projects / matthijs / master-project / report.git / history

[matthijs/master-project/report.git] / pret-lam.lua

2009-12-09	Matthijs Kooijman	Require a word (including its subscript) to end in...	blob \| commitdiff \| raw
2009-12-09	Matthijs Kooijman	Allow single digit subscripts again.	blob \| commitdiff \| raw \| diff to current
2009-12-09	Matthijs Kooijman	Use the logical and from the roman font.	blob \| commitdiff \| raw \| diff to current
2009-12-09	Matthijs Kooijman	Add the ->> symbol to the lambda prettyprinter.	blob \| commitdiff \| raw \| diff to current
2009-12-09	Matthijs Kooijman	Allow for ordering of symbols in the lambda prettyprinter.	blob \| commitdiff \| raw \| diff to current
2009-12-06	Matthijs Kooijman	Remove debug print from pret-lam.	blob \| commitdiff \| raw \| diff to current
2009-12-06	Matthijs Kooijman	Make a var local (again) in pret-lam.	blob \| commitdiff \| raw \| diff to current
2009-12-06	Matthijs Kooijman	Prettyprint comments in italic.	blob \| commitdiff \| raw \| diff to current
2009-12-06	Matthijs Kooijman	Add strikethrough to the lambda prettyprinter.	blob \| commitdiff \| raw \| diff to current
2009-12-04	Matthijs Kooijman	Require an automatic subscript to start with a number.	blob \| commitdiff \| raw \| diff to current
2009-12-01	Matthijs Kooijman	Use \$ instead of just $ in lambda expressions.	blob \| commitdiff \| raw \| diff to current
2009-12-01	Matthijs Kooijman	Support ▶ in the lambda prettyprinter.	blob \| commitdiff \| raw \| diff to current
2009-11-26	Matthijs Kooijman	Fix typo in regex for subscripts.	blob \| commitdiff \| raw \| diff to current
2009-11-24	Matthijs Kooijman	Use the unicode rightwards arrow instead of \rightarrow.	blob \| commitdiff \| raw \| diff to current
2009-11-24	Matthijs Kooijman	Support => in the lambda prettyprinter.	blob \| commitdiff \| raw \| diff to current
2009-11-24	Matthijs Kooijman	Use a non-breaking space instead of \obs in the lambda...	blob \| commitdiff \| raw \| diff to current
2009-11-24	Matthijs Kooijman	Put DEFAULT in smallcaps in the lambda prettyprinter.	blob \| commitdiff \| raw \| diff to current
2009-11-06	Matthijs Kooijman	Revert "Allow lambda expression to be indented."	blob \| commitdiff \| raw \| diff to current
2009-11-04	Matthijs Kooijman	Allow literal $'s to be used in lambda expressions.	blob \| commitdiff \| raw \| diff to current
2009-11-02	Matthijs Kooijman	Allow lambda expression to be indented.	blob \| commitdiff \| raw \| diff to current
2009-10-15	Matthijs Kooijman	Make "DEFAULT" a keyword.	blob \| commitdiff \| raw \| diff to current
2009-10-13	Matthijs Kooijman	Allow commas in implicit subscripts.	blob \| commitdiff \| raw \| diff to current
2009-10-06	Matthijs Kooijman	Use a dotted lines to separate context in a transformation.	blob \| commitdiff \| raw \| diff to current
2009-09-02	Matthijs Kooijman	Add letrec and letnonrec as keywords to pret-lam.	blob \| commitdiff \| raw \| diff to current
2009-08-28	Matthijs Kooijman	Make pret-lam preserve alignment using whitespace.	blob \| commitdiff \| raw \| diff to current
2009-08-28	Matthijs Kooijman	Declare variables as local in pret-lam.	blob \| commitdiff \| raw \| diff to current
2009-08-28	Matthijs Kooijman	Support the \| character in pret-lam.	blob \| commitdiff \| raw \| diff to current
2009-08-27	Matthijs Kooijman	Let pret-lam support blocks of multiple lambda expressions.	blob \| commitdiff \| raw \| diff to current
2009-08-27	Matthijs Kooijman	Use local variables for storing visualizer dicts.	blob \| commitdiff \| raw \| diff to current
2009-08-27	Matthijs Kooijman	Improve subscript handling in pret-lam.	blob \| commitdiff \| raw \| diff to current
2009-08-25	Matthijs Kooijman	Make pret-lam work for \type{} as well.	blob \| commitdiff \| raw \| diff to current
2009-08-25	Matthijs Kooijman	Update the pret-lam to current context beta.	blob \| commitdiff \| raw \| diff to current
2009-07-27	Matthijs Kooijman	Make ~ a symbol in lambda calculus.	blob \| commitdiff \| raw \| diff to current
2009-07-01	Matthijs Kooijman	Allow a word to start with uppercase letters too.	blob \| commitdiff \| raw \| diff to current
2009-07-01	Matthijs Kooijman	Only allow a word to start with a-z in pret-lam.	blob \| commitdiff \| raw \| diff to current
2009-06-29	Matthijs Kooijman	Update pret-lam to a new version of by begin/end_of_buf...	blob \| commitdiff \| raw \| diff to current
2009-06-11	Matthijs Kooijman	Make pret-lam remember subscripted words.	blob \| commitdiff \| raw \| diff to current
2009-06-11	Matthijs Kooijman	Make pret-lam support superscripts.	blob \| commitdiff \| raw \| diff to current
2009-06-11	Matthijs Kooijman	Restructure pret-lam.	blob \| commitdiff \| raw \| diff to current
2009-06-10	Matthijs Kooijman	Prevent pret-lam from matching subwords.	blob \| commitdiff \| raw \| diff to current
2009-06-10	Matthijs Kooijman	Let pret-lam recognize the * symbol.	blob \| commitdiff \| raw \| diff to current
2009-06-10	Matthijs Kooijman	Let pret-lam recognize the "in" keyword.	blob \| commitdiff \| raw \| diff to current
2009-06-10	Matthijs Kooijman	Let pret-lam escape _ characters.	blob \| commitdiff \| raw \| diff to current
2009-06-10	Matthijs Kooijman	Add support for pretty printing lambda calculus.	blob \| commitdiff \| raw \| diff to current

Master's thesis on the cλash compiler

RSS Atom