@hackage liquid-base4.15.0.0

base specs for LiquidHaskell

Categories
License
BSD-3-Clause
Maintainer
Ranjit Jhala <jhala@cs.ucsd.edu>
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 4.15.1.0 Wed, 3 Apr 2024
- 4.15.0.0 Wed, 3 Apr 2024
- 4.14.3.0 Thu, 4 Apr 2024
- 4.14.1.0 Wed, 3 Apr 2024
- 4.14.0.0 Wed, 3 Apr 2024

Deprecated
This package has been deprecated in favour of
- @hackage/liquidhaskell
Dependencies (4)
- base ==4.15.0.0
- integer-gmp <1.0.4.0
- liquid-ghc-prim
- liquidhaskell >=0.8.10.1 && <0.9.2
Dependents (11)
@hackage/cl3-posit, @hackage/liquid-platform, @hackage/grow-vector, @hackage/liquid-prelude, @hackage/cl3, @hackage/liquid-bytestring, Show all…

Superseded by liquidhaskell >= 0.9.2.