idris-lang/Idris-dev — pull request #1553 by ahmadsalim (2014-09-25 18:44:15+00:00)
Title: Consisten naming across the standard library

Details are explained in #1516.