Let pret-lam escape _ characters.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Wed, 10 Jun 2009 11:36:26 +0000 (13:36 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Wed, 10 Jun 2009 11:36:26 +0000 (13:36 +0200)
pret-lam.lua

index 15fcf9a3ac1fdc6343dd3e90077047d713921983..94dd81085a9aa53617c262c12315a094864d82fe 100644 (file)
@@ -19,6 +19,7 @@ buffers.visualizers.lam.colors = {
 
 buffers.visualizers.lam.tokens = {
     [' '] = {repr = '\\obs '},
+    ['_'] = {repr = '\\_'},
     ['->'] = {repr = '\\rightarrow'},
     ['case'] = {style = 'bold'},
     ['of'] = {style = 'bold'},