15 Jan
2010
15 Jan
'10
6:13 p.m.
* UnicodeSyntax now works not only for identifiers, but also for ->, <- and =>, as well as Arrows arrows and kind stars. (And before you send me bug reports for this one, do check that your version of readFile is Unicode aware, i.e. you use GHC 6.12 or the utf8-string version).
... and with the newly released 1.7.1, UnicodeSyntax now also enables the fancy ∀ to mean forall. Cheers, /Niklas