<div><div>Dear Committee<br><br>If I recall correctly, in the tex-style literate haskell specification, code is delimited by a<br><br>\begin{code}<br>\end{code}<br><br>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.
<br><br>To this end, would it make more sense to delimit haskell code by<br><br>\begin{haskell}<br>\end{haskell}<br><br>?<br><br>Cheers,<br><br>Vivian<br> </div><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Date: Fri, 06 Apr 2007 15:07:28 -0400<br>From: Isaac Dupree <<a href="mailto:isaacdupree@charter.net">isaacdupree@charter.net</a>><br>Subject: Literate Haskell specification<br>To: <a href="mailto:haskell-prime@haskell.org">
haskell-prime@haskell.org</a><br>Message-ID: <<a href="mailto:46169A70.80909@charter.net">46169A70.80909@charter.net</a>><br>Content-Type: text/plain; charset=ISO-8859-1<br><br>-----BEGIN PGP SIGNED MESSAGE-----<br>
Hash: SHA1<br><br>As I brought up earlier in Haskell-cafe<br><a href="http://thread.gmane.org/gmane.comp.lang.haskell.cafe/20026">http://thread.gmane.org/gmane.comp.lang.haskell.cafe/20026</a><br>, the Haskell98 specification for literate haskell (report section
9.4)<br>could use some work, at least clarifications (existing haskell<br>implementations differ in some ways) - see that thread for details.<br>Since I haven't successfully gotten to writing a concrete revision of<br>
that section, I thought I'd at least bring the issue to the attention of<br>specifically haskell-prime people, as it is an issue that "should<br>definitely" be addressed in the Report. Hopefully there's someone
<br>around here who might tackle it :)<br><br><br>Good luck,<br>Isaac<br>-----BEGIN PGP SIGNATURE-----<br>Version: GnuPG v1.4.3 (GNU/Linux)<br>Comment: Using GnuPG with Mozilla - <a href="http://enigmail.mozdev.org">http://enigmail.mozdev.org
</a><br><br>iD8DBQFGFppvHgcxvIWYTTURAgoqAKDKFXaVBVeSfodzlgEte5Loy42unACfXfbl<br>qDlxnSUaNH5rg8r58KAkKl8=<br>=UVvx<br>-----END PGP SIGNATURE-----<br></blockquote></div><br>