Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.GHC.Plugin

Description

This module provides a GHC Plugin that allows LiquidHaskell to be hooked directly into GHC's compilation pipeline, facilitating its usage and adoption.

Synopsis

plugin :: Plugin

Documentation

plugin :: Plugin Source #

The Plugin entrypoint ------------------------------------------------------