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