Asdasd
refreshing arguments of parsed types
refreshing predicate arguments when parsing
Merge pull request #109 from ucsd-progsys/argclash

make names of parsed symbols unique
moving failing tests at todo
ignore unsafe demos
1 failing test
minor
huh?
Please.
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
report output only whenLoud
misc tweaks to reduce output
shifting to new branch to unify all error reporting
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
flerb