@hackage liquid-vector0.13.1.0.2

LiquidHaskell specs for the vector package

Categories
License
BSD-3-Clause
Maintainer
Ranjit Jhala <jhala@cs.ucsd.edu>
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 0.13.1.0.2 Wed, 14 Jan 2026
- 0.13.1.0.1 Thu, 7 Mar 2024
- 0.12.3.1.2 Wed, 18 Oct 2023
- 0.12.3.1 Fri, 10 Mar 2023
- 0.12.1.2 Wed, 29 Jul 2020

Installation
Custom
In your cabal file:
Dependencies (3)
- base <5
- liquidhaskell >=0.9.12.2.1
- vector >=0.13.1.0 && <0.14
Dependents (2)
@hackage/liquid-platform, @hackage/grow-vector

LiquidHaskell specs for the vector package.