This library provides a Haskell implementation of parameterized types using type-level computations to implement the type parameters and emulate dependent types.
Right now only fixed-sized vectors are provided (based on Oleg's "Number-parameterized types"  and Frederik Eaton's Vectro library
These details are provided for information only. No information here is legal advice and should not be used as such.
At one point, Open Hub analyzed source code for this project based on code location(s) available at that time. Since then, the code locations have been removed.