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)