spit out warnings about exported values that come back false from fixpoint
ghc does not make it easy to ask whether an Id was defined at the
top-level of the current module, so just print out all falses
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell into show-bots

Conflicts:
	Language/Haskell/Liquid/Annotate.hs
asd
about to look at deepmeasure
adding test for deep measure
pass liquid arguments on comments
unfolding existential types
Merge pull request #52 from ucsd-progsys/show-bots

Show bots
Merge pull request #54 from ucsd-progsys/extypes

unfolding existential types
perhaps the parser works
PairMeasure0.hs seems to work
chuggity
bah
asd
asd
nice. type errors from tests/todo/deepmeasure0.hs say exactly what needs fixing.
starting new pretty printer
adding more stuff to pprint
see beginnings of real pretty printer