@edwinbrady QuickCheck & Idris? Are dependent types "solving the same problem" as QC? Or is it best if they work together? /cc @ericnormand
sure. There's a lot still to do here, though, and it's very much worth following up on that.
-
-
Yes, they created a good starting point
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.