Update TODO.markdown
Update TODO.markdown
adding alpha-convert from catalyst.
adding specs to alphaconvert
a billion errors in Bare
BREAKING CHANGE: added SourcePos to Qualifier
ugh, why is the isFunTy thing not working...
Merge branch 'master' of github.com:gridaphobe/liquidhaskell
misc edits for better error reporting
blugh
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
fixed conflicts but does it compile
merge..