-----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-----
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime
