Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
This module provides a GHC Plugin
that allows LiquidHaskell to be hooked directly into GHC's
compilation pipeline, facilitating its usage and adoption.
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
This module provides a GHC Plugin
that allows LiquidHaskell to be hooked directly into GHC's
compilation pipeline, facilitating its usage and adoption.