ucsd-progsys/liquid-fixpoint — pull request #20 by nikivazou (2013-08-07 15:02:39+00:00)
Title: overload checkSorted

overloading checkSort to support ucsd-progsys/liquidhaskell#110