"Programs written in F* can be translated to OCaml, F#, and C for execution. ... The latest version of F* is written entirely in a common subset of F* and F#, a

"Programs written in F* can be translated to OCaml, F#, and C for execution. ... The latest version of F* is written entirely in a common subset of F* and F#, and bootstraps in both OCaml and F#."[1] [1]- https://en.wikipedia.org/wiki/F*_(programming_language) https://en.wikipedia.org/wiki/F*_(programming_language)