starting formal definition of liquidHaskell
Merge pull request #115 from ucsd-progsys/patError

Pattern Match Failures
adding Lazy Variables
checking lazy vars lazily
minor
examples
update README
more examples
minor
motivation
starting mutual recursion
establish termination
fix for #116
test editing
remove lazy var from environment, when checking its definition -- if not we can have infinite loop
from list to hashmap
restoring check that termination measures are >= 0
failing tests due to additional constraint
some tests
closer