Comment by ReleaseCandidat
3 months ago
All of them (especially newer ones) are, except Haskell (und some other, nowadays either obsolete or really obscure languages).
Idris (2), PureScript, Elm, Unison, Roc, Lean (4), Koka, Flix (and some other I've forgotten about).
No comments yet
Contribute on Hacker News ↗