Let pret-lam escape _ characters.

diff --git a/pret-lam.lua b/pret-lam.lua
index 15fcf9a3ac1fdc6343dd3e90077047d713921983..94dd81085a9aa53617c262c12315a094864d82fe 100644 (file)
--- a/pret-lam.lua
+++ b/pret-lam.lua
@@ -19,6 +19,7 @@ buffers.visualizers.lam.colors = {
 
 buffers.visualizers.lam.tokens = {
     [' '] = {repr = '\\obs '},
 
 buffers.visualizers.lam.tokens = {
     [' '] = {repr = '\\obs '},

+    ['_'] = {repr = '\\_'},

     ['->'] = {repr = '\\rightarrow'},
     ['case'] = {style = 'bold'},
     ['of'] = {style = 'bold'},
     ['->'] = {repr = '\\rightarrow'},
     ['case'] = {style = 'bold'},
     ['of'] = {style = 'bold'},