Learning Idris through tasks from Rosseta Code