VecN-0.0.2: a simple peano-indexed vector type

Index

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