Asdasd
eeks, wiped dependencies from cabal
almost prive view with much rewriting
almost there
Adasd
edits to zipper entry
zipper entry ready to go
uniqueZipper demo
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
fix up some tests
make liquid.cabal compatible with liquid-fixpoint
funref should be in tests/neg
remove noisy SCC annotations before printing corebinds.

fixes #48
add --maxparams flag to set the maximum number of parameters in mined qualifiers (excludes `v')
what conflict
added json support, rerun tests on goto
all tests pass
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
updated demo to show annotations on the same pane as text
Merge remote-tracking branch 'upstream/master' into text

Conflicts:
	tests/neg/fixmeImpossible.hs