modern programming
blog about modern programming languages, libraries, tools
Thursday, February 2, 2017
F* 0.9.4 released
https://github.com/FStarLang/FStar/releases/tag/V0.9.4.0
It is also said that the F* team is "very quickly expanding".
No comments:
Post a Comment
Newer Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment