@edwinbrady QuickCheck & Idris? Are dependent types "solving the same problem" as QC? Or is it best if they work together? /cc @ericnormand
-
-
Replying to @flpvsk
.
@filipovskii@ericnormand types and tests are complementary, not competing. Both are important.3 replies 15 retweets 21 likes -
Right, but QC specs aren't tests. ;-)
2 replies 0 retweets 0 likes
(I should say, I really like property based testing and encourage students to use it)
0 replies
1 retweet
1 like
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.