VecN-0.0.1: a simple peano-indexed vector type

Index

:>Data.VecN
headData.VecN
tailData.VecN
VecNData.VecN
VecZeroData.VecN