idris-lang/Idris-dev — pull request #918 by JanBessai (2014-02-21 14:49:07+00:00)
Title: Total order on Nat

Adds a typeclass for things which are totally ordered and implements a total order on Nat