News for hackers. Stuff that matters.

A comment on Learn TLA+ (2018). Parent comment

Re:Learn TLA+ (2018) by wuschel on Sunday February 23, 2020 @05:07AM (#22396050)
There are more: F* compiles to Ocaml/F#/C/ASM/WASM [1] and it's variant Low*, and ATS [2], which compiles to C.

  [1] https://www.fstar-lang.org/
  [2] http://www.ats-lang.org/
[ Parent | on HN ]

There are no comments on this comment yet.