small bug
adding stateF0
bug fixed
returnST with binary postconditions
add list of Measures to GhcSpec.

useful for tools that want to build on top of LH as a lib
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
oops
alter bk/mk Univs and Arrow
labels reach consraints
refreshing labels
almost there
unifyStrata
insert div info from lazy annotations
explicitely solve smap
tmp
fixme worksliquid tests/pos/fixme.hs liquid tests/pos/fixme.hs
still works
adding check
64 failing tests
21 failing tests