idris-lang/Idris-dev — pull request #1091 by ziman (2014-04-20 16:01:33+00:00)
Title: Add some UTF8 to CONTRIBUTORS

Accents in my name, as requested by Edwin.