fix for #181
twiddle
twiddle
cleanup
now lets try with color
RBT-mini-color works, onto delete
RBT-mini-color works, onto delete
asdas
yes.
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
hmm wonder whats happening with deleteMin
asdasd
appel-del-min works
onto appel-del
onto append
ugh, forgot to push from office
ok, RB-appel red-black invariant done -- modulo copying type for del from gazpacho
sigh
RBT-appel now merged, color invariant is done.
asd
RBTree-appel-height works for add, onto the mysterious lbalS