ucsd-progsys/liquidhaskell — pull request #283 by nikivazou (2014-12-09 01:00:17+00:00)
Title: Improve termination error messages

This is an improvement for #276