Literate Programming in Haskell?

[Bostjan Slivnik]

> > In the Haskell community is there a generally accepted best way to
> > approach Literate Programming?  The language has support for literate
> > comments, but it seems that many common LP tools don't respect it.
> 
> I'm also very interested in this, but ideally I would want the output to
> be in some proportional font, with symbols like =>, ->, <- replaced with
> arrows, etc. Also, it would be very nice to have the code automatically
> column aligned (using heuristics).

So am I.  Is anybody willing to cooperate on the desing of such tool?

The solution based on the package `listings' is really nice
(especially because of its simplicity).  However, if different
proportional fonts are used for different lexical categories and the
indentation is preserved (as it should be in Haskell), the package
does not produce the best results.

> I saw something that looks like this in Mark P. Jones's paper `Typing
> Haskell in Haskell', but don't know how he did it.

Perhaps he used ``Haskell Style for LaTeX2e'' (written by Manuel
Chakravarty); just a guess.  Or did it manually.

Bo"stjan Slivnik