6 ms·
I think Idris is the best example of a pure strict-by-default language (that also supports totality checking, I believe).
by simiones 2y ago
I think Idris is the best example of a pure strict-by-default language (that also supports totality checking, I believe).
- ReleaseCandidat 2y ago> that also supports totality checking, I believe Yes, it does. It's also dependently typed.