yay, ch00 done.
bad invariant and refined measure
yay, ch00 done.
h01 done.
zbog Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell
fix crashing maximum
Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell
run travis with z3 and cvc4
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell