I've started looking into the F* programming language, and I am very satisfied so far. https://fstar-lang.org/tutorial/
-
-
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 -
-
-
aber dafür hat man doch unsigned integer...
#trolololoThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.