@hackage liquid-vector dependencies

3 results

library:liquid-vector (3 dependencies)

@hackage/liquidhaskell

Liquid Types for Haskell

BSD-3-Clause>=0.9.2.5

@hackage/base

Core data structures and operations

@hackage/vector

Efficient Arrays

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