From: Matthijs Kooijman Date: Tue, 1 Dec 2009 10:57:27 +0000 (+0100) Subject: Support ▶ in the lambda prettyprinter. X-Git-Tag: final-thesis~130 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;ds=sidebyside;h=2632b37c704f17c78b1dd023e9c9688918b7ee31;hp=2632b37c704f17c78b1dd023e9c9688918b7ee31;p=matthijs%2Fmaster-project%2Freport.git Support ▶ in the lambda prettyprinter. We'll have to use the glyph from our roman font, since our sans font doesn't have it. ---