@hackage liquidhaskell0.8.10.7

Liquid Types for Haskell

Installation
In your cabal file:
Tested Compilers
Dependencies (44)
- Cabal <3.5
- base >=4.11.1.0 && <5
- binary
- bytestring >=0.10
- containers >=0.5
- deepseq >=1.3
Dependents (18)
@hackage/impure-containers, @hackage/cl3-posit, @hackage/liquid-platform, @hackage/target, @hackage/grow-vector, @hackage/acme-everything, Show all…

include

(off by default)

use in-tree include directory

deterministic-profiling

(off by default)

Support building against GHC with https://phabricator.haskell.org/D4388 backported

no-plugin

(off by default)

Use the legacy executable for testing.

mirror-modules-helper

(off by default)

Build the "mirror-modules" helper executable.

Liquid Types for Haskell.