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 15fcf9a3ac1fdc6343dd3e90077047d713921983..7bb1f8a6cab40d376b1269db23381f39b8aa0f46 100644 (file)
--- a/pret-lam.lua
+++ b/pret-lam.lua
@@ -19,10 +19,15 @@ buffers.visualizers.lam.colors = {
 
 buffers.visualizers.lam.tokens = {
     [' '] = {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'},
+    ['in'] = {style = 'bold'},
 }
 
 function buffers.visualizers.lam.flush_line(str,nested)