idris-lang/Idris-dev — pull request #680 by jfdm (2013-11-27 16:41:09+00:00)
Title: Partial support for Integrals.

Added a simple Integral Class to Prelude.Classes.idr supporting:

+ div
+ mod

toInteger and other suitable methods need to be decided upon, defined, and implemented.

Instances:

+ Nat uses total functions
+ Int, Integer, Bits8-64 are partial.