X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=pret-lam.lua;h=c25daefb697c3cd08c7a15115c935a62a948cf42;hp=15fcf9a3ac1fdc6343dd3e90077047d713921983;hb=72702b3b4183aa6cf75fe01ae5a07aaf85790801;hpb=95b1a682e51c47d635d5bafe75bd7096e8d4ec18

diff --git a/pret-lam.lua b/pret-lam.lua
index 15fcf9a..c25daef 100644
--- a/pret-lam.lua
+++ b/pret-lam.lua
@@ -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)