@edwinbrady QuickCheck & Idris? Are dependent types "solving the same problem" as QC? Or is it best if they work together? /cc @ericnormand
-
-
For budding Idris’ers there is a idris-quickcheck port https://github.com/david-christiansen/idris-quickcheck … that might need maintaining…
-
I'd love to see that happen.
- 4 more replies
New conversation -
-
-
Right, but QC specs aren't tests. ;-)
-
(I should say, I really like property based testing and encourage students to use it)
End of conversation
New conversation -
-
-
and theorems take lots of tests and pack them into one.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.