Sized types in Haskell using the GHC Nat kind.

Providing matrixes, sparse matrixes, and signed and unsigned bit vectors, using GHC Nat kind.

sized-types

To build development version, and run tests use

% cabal configure -fall
% cabal build

To run tests, do

% make runtests

The reference outputs are in /ref, and the outputs from the current run are in /run.