liquid-base-4.14.0.0: Drop-in base replacement for LiquidHaskell
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Type.Bool

Documentation