bytestring.hs done on goto. temp commit prior to pull
yes yes.
Merge branch 'rj-bytestring' of github.com:ucsd-progsys/liquidhaskell into rj-bytestring