liquid-vector-0.12.1.2: LiquidHaskell specs for the vector package
Source
Contents
Index
Safe Haskell
None
Language
Haskell2010
Data.Vector.Generic