@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 -
For budding Idris’ers there is a idris-quickcheck port https://github.com/david-christiansen/idris-quickcheck … that might need maintaining…
3 replies 2 retweets 5 likes -
Replying to @jfdm @edwinbrady and
do we have leader/parser like Alex/Happy for Idris?
1 reply 0 retweets 0 likes
Replying to @nikhilbarthwal @jfdm and
there's a parser library, lightyear, but it needs some attention.
11:53 AM - 27 Mar 2017
0 replies
1 retweet
0 likes
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.