Let pret-lam recognize the "in" keyword.
[matthijs/master-project/report.git] / pret-lam.lua
index 15fcf9a3ac1fdc6343dd3e90077047d713921983..c25daefb697c3cd08c7a15115c935a62a948cf42 100644 (file)
@@ -19,10 +19,12 @@ buffers.visualizers.lam.colors = {
 
 buffers.visualizers.lam.tokens = {
     [' '] = {repr = '\\obs '},
+    ['_'] = {repr = '\\_'},
     ['->'] = {repr = '\\rightarrow'},
     ['case'] = {style = 'bold'},
     ['of'] = {style = 'bold'},
     ['let'] = {style = 'bold'},
+    ['in'] = {style = 'bold'},
 }
 
 function buffers.visualizers.lam.flush_line(str,nested)