idris-lang/Idris-dev — pull request #1138 by reynir (2014-04-30 20:52:32+00:00)
Title: Make all Verified* type class methods total

We generally want proofs to be total.