adding support for top-type for exported, un-used vars
added support, need to run tests
OK, lets see which tests break...
asdad
bit of progress with specs for infix-named functions
the top-level-topping reveals all sorts of bugs...
asdad
ad
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
hopefully pred-args render properly in HTML now, see split in blog/talking-about-sets
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
Merge pull request #44 from gridaphobe/master

Minor fixes for talking-about-sets.lhs
asdasd
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
asdasd
remove tclose
fixwarning
generalize papp
update tests
update README