type patError
add small safe partial functions
track failing tests
most tests pass
all basic tests pass
more tests
playing with infinity...
starting formal definition of liquidHaskell
isolate patError type
adding totality flag
update tests
infinity
update README.md
minor
adding catch benchmarks
correct error
first passing example
another safe test
bug in nested termination
change zipWith's type