"When I didn't have a type to prove what I needed I just wrote a test and called it done" -- why we need type libraries to prove properties.
-
-
This Tweet is unavailable.
-
Replying to @edwinbrady
@edwinbrady@raichoo@maradydd Not sure how you'd do that. Even in Idris you need proofs with the types for lot's of stuff.2 replies 0 retweets 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.