@hackage liquid-vector dependencies

3 results

library:liquid-vector (3 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause>=0.13.1.0 && <0.14

@haskell/base

Basic libraries

@hackage/liquidhaskell

Liquid Types for Haskell

BSD-3-Clause>=0.9.2.8