liquidhaskell-0.8.10.2: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

LiquidHaskell

Synopsis

LiquidHaskell Specification QuasiQuoter

LiquidHaskell as a compiler plugin

plugin :: Plugin Source #

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