Recently I've hacked up a (yet another) TeX package for typesetting literate scripts in TeX, which, I think belongs in http://haskell.org/libraries/#tex". What's different about lambdaTeX is that it is not a cumbersome preprocessor, but a full TeX program (an almost-complete Haskell lexical analyzer written entirely in plain TeX ;-) which typesets Bird-style literate scripts _directly_. The output looks much like the code from Chris Okasaki's book "Purely Functional Data Structures", doing syntax highlighting and converting ASCII art such as "->" or "alpha" to proper mathematical symbols. It should work with both LaTeX and plain TeX, and it does its magic without any annotations, directly on the source code (the only thing that you will probably want to do is add \input lambdaTeX at the top of your source file, and manually typeset your literate comments so they look as good as the source code ;-) I've got a rudimentary web page for it at http://www.jantar.org/lambdaTeX/ with examples and a summary of features. If you have any comments or suggestions, I wouldn't mind hearing them. Enjoy. Pat. -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- Patryk Zadarnowski University of New South Wales <pat@jantar.org> School of Computer Science and Engineering -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-