From: Matthijs Kooijman Date: Tue, 24 Nov 2009 15:44:16 +0000 (+0100) Subject: Support => in the lambda prettyprinter. X-Git-Tag: final-thesis~142 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=bc374390a1c3db1c12f90e35d3b769dd537a846c;p=matthijs%2Fmaster-project%2Freport.git Support => in the lambda prettyprinter. --- diff --git a/pret-lam.lua b/pret-lam.lua index dd3d5ca..1f073f8 100644 --- a/pret-lam.lua +++ b/pret-lam.lua @@ -22,6 +22,7 @@ local symbols = { [' '] = {repr = ' '}, ['_'] = {repr = '\\_'}, ['->'] = {repr = '\\rightarrow'}, + ['=>'] = {repr = '⇒'}, -- The default * sits very high above the baseline, \ast (u+2217) looks -- better. ['*'] = {repr = '\\ast'},