ucsd-progsys/liquidhaskell — pull request #117 by nikivazou (2013-09-16 11:02:57+00:00)
Title: Lazy vars

Adding a
```
{-@ LAZYVAR z @-}
```

annotation, that allows the definition of `z` to be checked under the environments where `z` is actually used