Tasks not implemented in Idris

Tasks not implemented in Idris.