@hackage liquid-prelude0.9.10.1.2

General utility modules for LiquidHaskell

Categories
- Language
License
BSD-3-Clause
Maintainer
Ranjit Jhala <jhala@cs.ucsd.edu>
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 0.9.10.1.2 Wed, 19 Mar 2025
- 0.9.2.8.2 Wed, 21 Aug 2024
- 0.9.2.8.1 Thu, 16 May 2024
- 0.9.2.5 Wed, 18 Oct 2023
- 0.9.0.2 Fri, 10 Mar 2023
- 0.8.10.2 Tue, 25 Aug 2020

Installation
Custom
In your cabal file:
Dependencies (5)
- base <5
- bytestring >=0.10.12.1
- containers >=0.6.4.1
- ghc-prim
- liquidhaskell >=0.9.10.1.2
Dependents (2)
@hackage/liquid-platform, @hackage/safe-coupling

General utility modules for LiquidHaskell.