projects
/
matthijs
/
master-project
/
report.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Partially update state annotations section in the prototype chapter.
[matthijs/master-project/report.git]
/
pret-lam.lua
2009-12-04
Matthijs Kooijman
Require an automatic subscript to start with a number.
blob
|
commitdiff
|
raw
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