@hackage liquid-base4.15.0.0

Drop-in base replacement for LiquidHaskell

Categories
- Language
License
BSD-3-Clause
Maintainer
Ranjit Jhala <jhala@cs.ucsd.edu>
Links
- Homepage
- Documentation
- No source repository
Versions
- 4.15.1.0 Fri, 10 Mar 2023
- 4.15.0.0 Tue, 29 Jun 2021
- 4.14.3.0 Thu, 4 Apr 2024
- 4.14.1.0 Mon, 24 Aug 2020
- 4.14.0.0 Wed, 29 Jul 2020

Drop-in base replacement for LiquidHaskell.

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
Dependents (10)
@hackage/liquid-platform, @hackage/grow-vector, @hackage/liquid-prelude, @hackage/cl3, @hackage/liquid-bytestring, @hackage/safe-coupling, Show all…