Tasks not implemented in Idris

From Rosetta Code

Tasks not implemented in Idris.