Prelude.isDigit(3kaya) on Linux

The text f01bce4c001d, as Debian 8 (Jessie) shipped it. The page shows this text now.

Checks if the character is a digit

Prelude.isDigit(3kaya) on Linux now