Comment by esafak 2 years ago Isn't that replacement called F#? 2 comments esafak Reply nextos 2 years ago It's more like the predecessor to Dafny, which is still research-oriented. DaiPlusPlus 2 years ago No.
It's more like the predecessor to Dafny, which is still research-oriented.
No.