@hackage / liquid-vector

LiquidHaskell specs for the vector package

0.13.1.0.2

Dependents

@hackage / grow-vector Mutable vector with efficient appends
- Version: 0.1.5.0
- Last uploaded: 3 years ago
- License: MIT
@hackage / liquid-platform A battery-included platform for LiquidHaskell
- Version: 0.9.2.8
- Last uploaded: 2 years ago
- License: BSD-3-Clause