now finally onto sorting
sigh. almost done. well not quite.
almost done with sorting entry for sure
almost done
bizarre bug with dep-tuples
sigh

Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell