Hacker News new | ask | show | jobs
by regehr 3840 days ago
I'm not sure if the QuickCheck people have explored these ideas, perhaps they'll chime in.