VCS v1
*** empty log message ***
one more attempt
maybe it will work
failed :(
VecLikePatchTransposedIndexed stuck
commit
better (a /\ b) >>> c == (a >>> c') /\ (b >>> c'')
>>>-assoc
new patch equivalence definition
Initial commit