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@charter.net>
Subject: Literate Haskell specification
To:
haskell-prime@haskell.org
Message-ID: <46169A70.80909@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-----