src/Tools/code/code_haskell.ML
2008-10-24 haftmann 2008-10-24 simplified syntax for class parameters
2008-10-22 haftmann 2008-10-22 code identifier namings are no longer imperative
2008-09-25 haftmann 2008-09-25 non left-linear equations for nbe
2008-09-06 haftmann 2008-09-06 dropped "run" marker in monad syntax
2008-09-01 haftmann 2008-09-01 restructured code generation of literals
2008-08-28 haftmann 2008-08-28 restructured and split code serializer module