Express properties about haskell programs and automatically prove them using smt (satisfiability modulo theories) solvers.

this package provides a library for the haskell programming language, compiled for profiling. see http://www.haskell.org/ for more information on haskell.