"Programs written in F\* can be translated to OCaml, F#, and C for execution. .....

studius on Jan 4, 2021 | parent | context | favorite | on: Verified Programming in F*: A Tutorial

"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)

wisam on Jan 4, 2021 [–]

Thanks, I stand corrected.