ucsd-progsys/liquidhaskell

liquidhaskell - Liquid Types For Haskell