projects
/
matthijs
/
master-project
/
report.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Define \epmh{foo} for easy emphasis.
[matthijs/master-project/report.git]
/
pret-lam.lua
diff --git
a/pret-lam.lua
b/pret-lam.lua
index 98244b0f421c5fe421ccb0578fec2ff1764d8612..7058f620f01d5a8f2298418e9842f1137e86210b 100644
(file)
--- a/
pret-lam.lua
+++ b/
pret-lam.lua
@@
-32,6
+32,8
@@
local keywords = {
['case'] = {},
['of'] = {},
['let'] = {},
+ ['letrec'] = {},
+ ['letnonrec'] = {},
['in'] = {},
}