Isaac Dupree isaacdupree at charter.net
Tue Apr 24 06:29:06 EDT 2007

-----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
>
>
> ?

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
...
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-----