idris-lang/Idris-dev — pull request #1239 by sellout (2014-05-18 20:16:24+00:00)
Title: Add Enum instance for Fin.

And add more default methods to the class.