News for hackers. Stuff that matters.
Re:I learned Haskell in just 15 years by ReleaseCandidat on Monday June 17, 2024 @10:52AM (#40706186)
> that also supports totality checking, I believe

Yes, it does. It's also dependently typed.

There are no comments on this comment yet.