Express properties about Haskell programs and automatically prove themgithub.com/nushio33 pointsColinWright13 years ago