edwinb/Idris-dev — pull request #8 by dpmulligan (2012-02-08 12:43:57+00:00)
Title: Additions to the Idris Prelude, totality checks, and new version of GTK .lang file

* Updated the GTK grammar file to include the new "total" and "assert_total" keywords.
* Marked everything total in the prelude/nat.idr file.
* Small additions to the prelude/nat.idr file, including division and modulus.