"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.
-
-
@edwinbrady@raichoo@maradydd Maybe I'm using wrong terms, but Prelude/Vect.idr has proofs for things like drop. -
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.