adad
new demo
new test
talking-about-unique-sets
impossoble
uniqueness on stackset is verified
error message for different number of arguments in TyCon
postpone error to get better message
fix predicates on monomorphic tycon
Merge pull request #75 from ucsd-progsys/monomorphic_tycon

fix predicates on monomorphic tycon
blog edits
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
manual merge errmsg
Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell
blog
update blog
stuff compiles after shuffling things around a bit
Y U ASK
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
stuff compiles after merge
change measure's format