>
> I'd just like to mention that \begin{code} ... \end{code} isn't just
> LaTeX, but also part of the markup language used by the Glasgow literate
> programming tools. These are distributed with ghc and nearly the whole
> source code of ghc is written with it.
>
The {code} based literate markup is "standard" Haskell (as of 1.3),
together
with Bird tracks.
If people feel so strongly about this, then why not add a little bit of
support to Hugs for filtering the source it slurps. Perhaps something
along the line of how mode selection works in Emacs, i.e., if somewhere
on the first non-empty line in a source file the following appears
{-# Markup: HTML #--}
Then a filter for picking out the contents of <CODE> blocks, say, de-lits
the file. An even simpler solution is to maintain a (file suffix, filter)
mapping.
Convenient (as opposed to de-litting all your files before passing them to
an
interpreter), extensible - you could even run speech recognition software
on
your audio files :-)
Just a thought,
--Sigbjorn
