3 ms·
All of them (especially newer ones) are, except Haskell (und some other, nowadays either obsolete or really obscure languages). Idris (2), PureScript, Elm, Uni
by ReleaseCandidat 2y 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).