LiquidHaskell refines Haskell's types with logical predicates that let you enforce critical properties at compile time - discu.eu

Reddit

LiquidHaskell refines Haskell's types with logical predicates that let you enforce critical properties at compile time https://ucsd-progsys.github.io/liquidhaskell-blog/ 18 comments 19/2/2019 programming