Literate Haskell specification

Vivian McPhail haskell.vivian.mcphail at
Sun Apr 22 22:39:23 EDT 2007

Dear Committee

If I recall correctly, in the tex-style literate haskell specification, code
is delimited by a


This does not allow for multilanguage support in a single source file.  It
would be nice to have a single document in which we could mix English,
Haskell, and, for example, Coq proofs.

To this end, would it make more sense to delimit haskell code by





Date: Fri, 06 Apr 2007 15:07:28 -0400
> From: Isaac Dupree <isaacdupree at>
> Subject: Literate Haskell specification
> To: haskell-prime at
> Message-ID: <46169A70.80909 at>
> Content-Type: text/plain; charset=ISO-8859-1
> Hash: SHA1
> As I brought up earlier in Haskell-cafe
> , the Haskell98 specification for literate haskell (report section 9.4)
> could use some work, at least clarifications (existing haskell
> implementations differ in some ways) - see that thread for details.
> Since I haven't successfully gotten to writing a concrete revision of
> that section, I thought I'd at least bring the issue to the attention of
> specifically haskell-prime people, as it is an issue that "should
> definitely" be addressed in the Report.  Hopefully there's someone
> around here who might tackle it :)
> Good luck,
> Isaac
> Version: GnuPG v1.4.3 (GNU/Linux)
> Comment: Using GnuPG with Mozilla -
> iD8DBQFGFppvHgcxvIWYTTURAgoqAKDKFXaVBVeSfodzlgEte5Loy42unACfXfbl
> qDlxnSUaNH5rg8r58KAkKl8=
> =UVvx
-------------- next part --------------
An HTML attachment was scrubbed...

More information about the Haskell-prime mailing list