Hard to resist a language that has this in the standard prelude: type nat = x:int{x>=0}
-
-
-
This might be relevant to your interests: https://ucsd-progsys.github.io/liquidhaskell-blog/ …
-
Nevertheless, I agree that F* is some pretty darn hot stuff.
End of conversation
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.