Fstar programming language

I was learning Idris, and searching dependent types, when I stumbled upon f* programming language. Has anybody played around with the JS output for client-side web dev, or the language in general? Bootstraps in F# and OCaml, and can be used for program verification via z3. https://www.fstar-lang.org/