@hackage liquidhaskell0.7.0.0

Liquid Types for Haskell

Categories
License
BSD-3-Clause
Maintainer
Ranjit Jhala <jhala@cs.ucsd.edu>
Links
Versions
- 0.9.12.2 Sat, 22 Mar 2025
- 0.9.10.1.2 Thu, 6 Mar 2025
- 0.9.10.1 Wed, 21 Aug 2024
- 0.9.8.2 Wed, 21 Aug 2024
- 0.9.8.1 Mon, 5 Feb 2024
- 0.9.6.3.1 Thu, 7 Mar 2024

Installation
In your cabal file:
Dependencies (40)
- Cabal >=1.18
- array >=0.5
- base >=4 && <5
- binary
- bytestring >=0.10
- containers >=0.5
Dependents (18)
@hackage/impure-containers, @hackage/cl3-posit, @hackage/liquid-platform, @hackage/target, @hackage/grow-vector, @hackage/acme-everything, Show all…

Package Flags

devel

(off by default)

turn on stricter error reporting for development

include

(off by default)

use in-tree include directory

Liquid Types for Haskell.