4 author: Daniel Seidel, Joachim Breitner
5 maintainer: seideld@tcs.inf.tu-dresden.de
6 synopsis: Counter examples to Free Theorems
8 Given a Free Theorem, this program calculates a term for which the
9 Free Theorem does not hold if a strictness requirement is relaxed.
11 It also includes a simple Free Theorem deriver.
25 , haskell-src-exts >= 0.3.9
27 , containers >= 0.1.0.1
38 executable polyfix.cgi
42 xhtml, cgi, utf8-string, free-theorems >= 0.2.1