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
Let pret-lam recognize the * symbol.
[matthijs/master-project/report.git]
/
pret-lam.lua
diff --git
a/pret-lam.lua
b/pret-lam.lua
index c25daefb697c3cd08c7a15115c935a62a948cf42..7bb1f8a6cab40d376b1269db23381f39b8aa0f46 100644
(file)
--- a/
pret-lam.lua
+++ b/
pret-lam.lua
@@
-21,6
+21,9
@@
buffers.visualizers.lam.tokens = {
[' '] = {repr = '\\obs '},
['_'] = {repr = '\\_'},
['->'] = {repr = '\\rightarrow'},
[' '] = {repr = '\\obs '},
['_'] = {repr = '\\_'},
['->'] = {repr = '\\rightarrow'},
+ -- The default * sits very high above the baseline, \ast (u+2217) looks
+ -- better.
+ ['*'] = {repr = '\\ast'},
['case'] = {style = 'bold'},
['of'] = {style = 'bold'},
['let'] = {style = 'bold'},
['case'] = {style = 'bold'},
['of'] = {style = 'bold'},
['let'] = {style = 'bold'},