back to listing index
Tag: ocaml
F*: A Higher-Order Effectful Language Designed for Program Verification
Reason
You may be interested in https://facebook.github.io/reason/ They have an active... | Hacker News
Announcing BuckleScript 1.0