basic invariant checking
distinguish invariants from type usage
create .liquid files
check wellformedness of invariants
combining invariants
invariants in README
fixup regrtest.py to handle .liquid dirs
RecQSort.hs
stack class measure
foo
minor
noInstance
Merge pull request #205 from ucsd-progsys/invariants

Invariants
remove owful pair selectors
adding xmonad
another name resolution issuue