idris-lang/Idris-dev — pull request #1344 by mrb (2014-06-29 18:15:17+00:00)
Title: suc{Max,Min}{L,R} + add mrb to CONTRIBUTORS

Four more proofs on Min and Max.