idris-lang/Idris-dev — pull request #1247 by a3gis (2014-05-20 17:45:11+00:00)
Title: Correct a typo in Prelude.idr

`predefine` was spelled `predifine`