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