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