News for hackers. Stuff that matters.

A comment on Total Functional Programming (2004) [pdf]. Parent comment

Re:Total Functional Programming (2004) [pdf] by Iceland_jack on Friday March 08, 2024 @09:28AM (#39641321)
With https://ucsd-progsys.github.io/liquidhaskell/, but as a separate checker. I think there are talks of integrating it into the compiler
[ Parent | on HN ]

There are no comments on this comment yet.