Support ▶ in the lambda prettyprinter.
authorMatthijs Kooijman <matthijs@stdin.nl>
Tue, 1 Dec 2009 10:57:27 +0000 (11:57 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Tue, 1 Dec 2009 10:57:27 +0000 (11:57 +0100)
commit2632b37c704f17c78b1dd023e9c9688918b7ee31
tree1511b005cbd16dff998fe494610bb7558a7bd238
parent0cd3f69b1d8fb7e18a7e0b2bccd86a96d7fd009b
Support ▶ in the lambda prettyprinter.

We'll have to use the glyph from our roman font, since our sans font
doesn't have it.
pret-lam.lua