Would an Idris unit test framework look any different to all the other xUnits?
-
-
Yes, I think that's important. Even 3 could easily be inhabited whilst everything typechecks.
-
Sort of the “programs should be specified, specifications should be tested” notion, in the small.
- 1 more reply
New conversation -
-
-
What would "testing of types" mean? What kind of properties would you test against?
-
I mean things like small type level functions. Or to help me believe my type level model mashes sense.
- 1 more reply
New conversation -
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.