ucsd-progsys/liquid-fixpoint — pull request #10 by nikivazou (2013-04-26 04:17:06+00:00)
Title: fix in sortcheck_app

This edit addresses the issue ucsd-progsys/liquidhaskell#66
where
```haskell
{-@ listElem :: y:a -> zs:[a] -> {v:Bool | (Prop(v) <=> Set_mem(y, (listElts(zs))))} @-}
listElem :: a -> [a] -> Bool
listElem = undefined
```
produces a sortcheck error