| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Constraint.Generate
Description
This module defines the representation of Subtyping and WF Constraints, and the code for syntax-directed constraint generation.
liquidhaskell-0.5.0.1: Liquid Types for Haskell
| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Constraint.Generate
Description
This module defines the representation of Subtyping and WF Constraints, and the code for syntax-directed constraint generation.