Hacker News new | ask | show | jobs
by gtani 5110 days ago
and the guarantees (both random and exhaustive testing) for GenCheck

http://permalink.gmane.org/gmane.comp.lang.haskell.general/1...