If you have a formal proof of a property of code you're writing, and it can't be encoded in the types. Where is the proper place for it?
-
-
def ???[A](): A = MilesSabin.infer[A]
-
...proof by "This feels like something Miles ought to be able to implement"?
- 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.