Literate Haskell specification

[Vivian McPhail]

Dear Committee

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

\begin{code}
\end{code}

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

\begin{haskell}
\end{haskell}

?

Cheers,

Vivian


Date: Fri, 06 Apr 2007 15:07:28 -0400
> From: Isaac Dupree <isaacdupree at charter.net>
> Subject: Literate Haskell specification
> To: haskell-prime at haskell.org
> Message-ID: <46169A70.80909 at charter.net>
> Content-Type: text/plain; charset=ISO-8859-1
>
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
>
> As I brought up earlier in Haskell-cafe
> http://thread.gmane.org/gmane.comp.lang.haskell.cafe/20026
> , 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
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v1.4.3 (GNU/Linux)
> Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
>
> iD8DBQFGFppvHgcxvIWYTTURAgoqAKDKFXaVBVeSfodzlgEte5Loy42unACfXfbl
> qDlxnSUaNH5rg8r58KAkKl8=
> =UVvx
> -----END PGP SIGNATURE-----
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-prime/attachments/20070423/2d198bf8/attachment-0001.htm