4 ms·
I think liquid Haskell is a great example of refinement types? https://ucsd-progsys.github.io/liquidhaskell/ https://ucsd-progsys.github.io/liquidhaskell/
by eddsolves 2y ago
I think liquid Haskell is a great example of refinement types?
https://ucsd-progsys.github.io/liquidhaskell/ https://ucsd-progsys.github.io/liquidhaskell/