@hackage liquid-containers0.6.2.1

LiquidHaskell specs for the containers package

Categories
- Language
License
BSD-3-Clause
Maintainer
Ranjit Jhala <jhala@cs.ucsd.edu>
Links
- Homepage
- Documentation
- No source repository
Versions
- 0.6.4.1 Fri, 10 Mar 2023
- 0.6.2.1 Wed, 29 Jul 2020

LiquidHaskell specs for the containers package.

Deprecated
This package has been deprecated in favour of
- @hackage/liquidhaskell
Dependencies (3)
- containers >=0.6.2.1 && <0.7
- liquid-base <5
- liquidhaskell >=0.8.10.1
Dependents (2)
@hackage/liquid-platform, @hackage/safe-coupling