News for hackers. Stuff that matters.

A comment on Verified Programming in F*: A Tutorial. Parent comment

Re:Verified Programming in F*: A Tutorial by studius on Monday January 04, 2021 @06:52AM (#25630177)
"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)

[ Parent | on HN ]
Re:Verified Programming in F*: A Tutorial by wisam on Monday January 04, 2021 @07:07AM (#25630271)
Thanks, I stand corrected.
[ Parent | on HN ]