Excerpts from Gwern Branwen's message of Wed Dec 23 21:50:02 +0100 2009:
> So I was planning a Unicodifying plugin for Gitit using
> Yi.Char.Unicode, since I'd rather not come up with all the
> substitutions myself. But I don't want to copy it, and I'd rather
> encourage reuse.
>
> There are alrea
On Thu, Dec 24, 2009 at 9:36 AM, Roel van Dijk wrote:
> On Thu, Dec 24, 2009 at 2:54 PM, Gwern Branwen wrote:
>> The idea is that it contains a mapping, String -> (Unicode) Char; it
>> is used in Yi for a 'pretty lambdas'-like mode where the text file
>> remains unchanged but the visual display i
On Wed, Dec 23, 2009 at 5:43 PM, Roel van Dijk wrote:
> I briefly looked at the Yi.Char.Unicode module and I'm not sure
> if it has the same goal or functionality as the 3 packages you
> mentioned. It appears to contain mappings from symbols name to
> actual unicode symbols on the data level.
>
>
So I was planning a Unicodifying plugin for Gitit using
Yi.Char.Unicode, since I'd rather not come up with all the
substitutions myself. But I don't want to copy it, and I'd rather
encourage reuse.
There are already 3 packages on Hackage which replace operators with symbols:
- http://hackage.hask
