IOTasks-collection A collection of specifications for exercise tasks using the IOTasks library Simple examples Game examples