3 ms·
Dependent types aren't only useful in languages that prove theorems, so I think a better qualification for "provers" might be termination checking.
by efnx 11y ago
Dependent types aren't only useful in languages that prove theorems, so I think a better qualification for "provers" might be termination checking.