projects
/
matthijs
/
master-project
/
report.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Further expand the Prototype chapter.
[matthijs/master-project/report.git]
/
pret-lam.lua
2009-09-02
Matthijs Kooijman
Add letrec and letnonrec as keywords to pret-lam.
blob
|
commitdiff
|
raw
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
projects / matthijs / master-project / report.git / history