some improvements to rendering annot type for non-toplevel recursive functions
misc tweaks for matching sym-var binding
Asdad
asdad
asdasd
asda
asd
asdasd
asasd
asdasd
minor changes to talking-about-sets.lhs
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