idris-lang/Idris-dev — pull request #917 by david-christiansen (2014-02-21 13:57:41+00:00)
Title: Add type classes for bounded things

Instances for:
* Nat (lower only)
* Bits*
* Fin (S n)