ucsd-progsys/liquidhaskell

LiquidHaskell is an extension to the Haskell compiler that brings refinement types—called liquid types—to the language, enabling automatic, SMT‑based verificati