Working Group on Formal Methods for Industrial Critical Systems
Eighth International
Workshop on Formal Methods for Industrial Critical Systems
(FMICS 03)
http://www.inrialpes.fr/vasy/fmics/workshop-8/
Submission
Hi all,
This is just a quick note to let you know that Haskell2LaTeX, my
undergraduate project, is available from
http://web.comlab.ox.ac.uk/oucl/work/ian.lynagh/Haskell2LaTeX/
In a nutshell it parses the code in a literate Haskell script and then
writes it out again with the embedded Haskell ni