idris-lang/Idris-dev — pull request #1330 by mrb (2014-06-25 21:28:25+00:00)
Title: Simplify max and min for nats by removing lte

As per conversation with @david-christiansen