Correct a typo in Prelude.idr

`predefine` was spelled `predifine`
Merge pull request #1247 from a3gis/patch-1

Correct a typo in Prelude.idr