did many termination checks in BS.0
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
why is tests/pos/term0.hs failing
almost done with first half of BS.T. onto the no-decr-parameter-cases
almost done with first half of BS.T. onto the no-decr-parameter-cases
done foldl/foldr
done foldl/foldr
done with bs.split.0 except for the unfoldchunk business
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell