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

LiquidHaskellBoot

Synopsis

LiquidHaskell Specification QuasiQuoter

LiquidHaskell as a compiler plugin

plugin :: Plugin Source #

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