← Back to context Comment by ReleaseCandidat 3 months ago > that also supports totality checking, I believeYes, it does. It's also dependently typed. 0 comments ReleaseCandidat Reply No comments yet Contribute on Hacker News ↗
No comments yet
Contribute on Hacker News ↗