idris-lang/Idris-dev — pull request #679 by jfdm (2013-11-27 14:17:31+00:00)
Title: Changes to Prelude.Char

Prelude.Chars updates.

+ Added 'bindings' for some primitives:
+ chr
+ ord
+ Added isOctDigit Function
+ Added documentation => Campfire rules rule...