Content deleted Content added
m Adding local short description: "Functional programming language inspired by ML and aimed at program verification", overriding Wikidata description "functional programming language inspired by ML and aimed at program verification" |
Citation bot (talk | contribs) Add: date. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 1005/1877 |
||
Line 26:
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 License 2.0]]) and is under active development on [[GitHub]].<ref>{{cite web|url=https://github.com/FStarLang/FStar|title=FStarLang/FStar|website=GitHub|date=31 October 2022 }}</ref>
==References==
| |||