first commit
git
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
Merge branch 'master' of github.com:andrey-komarov/thesis