ucsd-progsys/liquid-fixpoint — pull request #6 by nikivazou (2013-04-19 04:02:23+00:00)
Title: Deepmeasure

Helper functions to enable deepmeasures,

Basic contribution:
Language.Fixpoint.Sort.pruneUnsortedReft that prunes unsorted predicates