liquid-prelude (hackage): Liquid Types For Haskell
Keywords: bsd3|language|library|haskell|refinement-types|smt|verification