idris-lang/Idris-dev — pull request #1284 by bmsherman (2014-06-05 03:30:36+00:00)
Title: Fix definition of VerifiedRing

Fixes https://github.com/idris-lang/Idris-dev/issues/1282. Thanks, @stygstra!