[Haskell] Announce: revamped free theorems generator

[Janis Voigtländer]

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:jv at iai.uni-bonn.de