parameterized-data

Parameterized data library implementing lightweight dependent types.

This library provides an 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. A tutorial on how to use them can be found at https://forsyde.ict.kth.se/trac/wiki/ForSyDe/Haskell/ForSyDeTutorial#FSVec