The online free theorems generator, previously announced here:
http://www.haskell.org/pipermail/haskell/2007-October/019917.html now runs at: http://www-ps.iai.uni-bonn.de/ft Thanks to Matthias Bartsch, there are now additional features in the online tool. In particular, one can declare one's own algebraic data types, type synonyms, type renamings, and type classes, and then generate free theorems for types involving those. Also, the tool now outputs inline graphics with nicely typeset theorems. (Plain text output, as well as .pdf and corresponding .tex, are still possible.) Ciao, Janis. -- Jun.-Prof. Dr. Janis Voigtländer http://www.iai.uni-bonn.de/~jv/ mailto:[email protected] _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
