tweaking tests/pos/cont.hs to more faithfully model required use-case
setting the HARD sigs for the scans aside for now
done with unfoldrN
done upto splitAt
done upto splitAt
write the isNullPtr measure
done with elemIndex, tricky spec for memchr
done with memchr/elemIndex
done upto breakEnd
why is split not cooperating
magically and quite mysteriously split works, but WHY dammit. some name binding issue maybe
totally fing foxed
after epic struggle, split has yielded
hope I added bytestring0.hs
ok, at least the damn thing is not crashing
why the f**k does ByteString/Debug.split fail when the mini version doesn't GAH. dAmmit
declaring pyrrhic victory on split. mess. can't understand why it doesn't work properly on the big F-ing file
hopefully inits and tails should work.
done upto not including zip
why is it asking me to write things when i merge

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