Ariadne Devos 89e87ff4fc Define vector-wide bounds %!s(int64=5) %!d(string=hai) anos
..
Bounds.v 89e87ff4fc Define vector-wide bounds %!s(int64=5) %!d(string=hai) anos
Fold.v 60e3a469b7 Fold vectors, modulo an equivalence %!s(int64=5) %!d(string=hai) anos
Iota.v be5bc4d224 Generate indices in a vector %!s(int64=5) %!d(string=hai) anos