liquidhaskell-boot-0.9.2.5.0: Liquid Types for Haskell
Safe HaskellSafe-Inferred
LanguageHaskell98

Language.Haskell.Liquid.Constraint.Init

Description

This module defines the representation of Subtyping and WF Constraints, and the code for syntax-directed constraint generation.

Documentation