WTF
check record selectors are unique
format error messages
Merge pull request #284 from ucsd-progsys/multiple_record_selectors

Multiple record selectors
WTF
asd
Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell
next: add just code snippets and EXERCISES to chapters
basic support from defining Haskell to Logic translation
minor
next: add just code snippets and EXERCISES to chapters
no hard file paths
remove class predicates from logical types
local measure symbols are not qualified, but Haskell functions are
cleaning
minor
next: add just code snippets and EXERCISES to chapters
fix bind names when Dictionaries exist
some tests
Update TODO.markdown
Update TODO.markdown