3 ms·See LiquidHaskell for probably the most mature SMT-based refinement types implementation.by centimeter 6y agoSee LiquidHaskell for probably the most mature SMT-based refinement types implementation.