2 ms·> that also supports totality checking, I believe Yes, it does. It's also dependently typed.by ReleaseCandidat 2y ago> that also supports totality checking, I believe Yes, it does. It's also dependently typed.