-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Vivian McPhail wrote:
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}
?
It very well could make sense, but we are not in re-designing here (it would likely never be finished). For example, a quote from http://hackage.haskell.org/trac/haskell-prime "Haskell' will be a conservative refinement of Haskell 98. ... We will strive to only include tried-and-true language features" BTW, if other languages such as Coq have any other convention than exactly the name \begin{code} / \end{code} , they could be mixed in the same source-file anyway, I suppose. Which could be nice, as you note. Thanks, Isaac -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFGLdvyHgcxvIWYTTURAmvsAJ0Q11sJPmwHM/ORNeE9hqO04ePGaQCdGekm HbMeOpa4X2pPlDp6ePbtzYs= =pQu+ -----END PGP SIGNATURE-----