F* (programming language): Difference between revisions

Revision as of 00:42, 5 July 2019

Revision as of 21:04, 7 August 2019

Line 24:

Programs written in F* can be translated to [[OCaml]], [[F Sharp (programming language)|F#]], and [[C (programming language)|C]] for execution. Previous versions of F* could also be translated to [[JavaScript]].

The latest version of F* is written entirely in a common subset of F* and [[F Sharp (programming language)|F#]], and bootstraps in both [[OCaml]] and [[F Sharp (programming language)|F#]]. It is open source (under the [[Apache 2.0 License]]) and is under active development on [[GitHub]].<ref>{{cite web|url=https://github.com/FStarLang/FStar|title=FStarLang/FStar|website=GitHub}}</ref>

==References==