[magnumkarter]

I've just started learning OCaml. Bucklescript as well as F* and Reason are the reasons I chose OCaml over F#

https://www.fstar-lang.org/

[zem]

do you have any uses in mind for F*? i went through the tutorial a while ago, and it looked very nice, but i couldn't think of anything i wanted/needed to use it for.

[magnumkarter]

Eventually I would like to write a C Compiler with it