On Sat, Oct 31, 2009 at 07:18:26PM +0000, Eric Kow wrote:
> Hi Trent, how about a non-sexy version sans Unicode? Just a general
> attitude of keep it simple, get it out the the door if possible. I
> haven't really looked in detail yet, but I think this would avoid
> having the patch linger.
I could kludge that together; I was worried about losing important
information (e.g. does "==" mean equivalence, or mere equality?)
I suppose Haddock might support HTMLisms like ≡ and ⇒,
which ought to be enough for most of the symbols used in the text. I
don't think Haddock targets anything but HTML at present :-/
|