4 ms·
LiquidHaskell[1] implements refinement types for Haskell. Would that do what you'd like? [1] https://ucsd-progsys.github.io/liquidhaskell/ https://ucsd-progsys
by nequo 4y ago
LiquidHaskell[1] implements refinement types for Haskell. Would that do what you'd like?
[1] https://ucsd-progsys.github.io/liquidhaskell/ https://ucsd-progsys.github.io/liquidhaskell/