@hackage / liquid-vector

LiquidHaskell specs for the vector package

Latest0.13.1.0.2

Dependencies

library:liquid-vector (3 dependencies)

@hackage / liquidhaskell Liquid Types for Haskell
- Version: >=0.9.12.2.1
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: <5
- License: BSD-3-Clause
@hackage / vector Efficient Arrays
- Version: >=0.13.1.0 && <0.14
- License: BSD-3-Clause