ucsd-progsys/liquidhaskell — pull request #250 by ranjitjhala (2014-10-07 19:40:04+00:00)
Title: Emptyuif

Various SUPER-HACKY changes to support proper empty sets. Co-ordinated with LF PR:
https://github.com/ucsd-progsys/liquid-fixpoint/pull/42