edwinb/Idris-dev — pull request #383 by JanBessai (2013-07-08 18:32:24+00:00)
Title: Make Char part of ITType

This enables back end specific character encoding and unifies some arithmetic/comparison operations on chars.