Add traversals
phadej opened this issue · comments
traverse_
,traverse1_
,itraverse1
,itraverse1_
for
variants of everything...
Nat, Fin, Vec
phadej opened this issue · comments
traverse_
, traverse1_
, itraverse1
, itraverse1_
for
variants of everything...