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