Examples for writing specifications can be found under examples/ and in the online demo.
A collection of specifications for exercise tasks can be found under https://github.com/fmidue/IOTasks-collection.
Main branch: Haddock Documentation
- Describing Console I/O Behavior for Testing Student Submissions in Haskell - TFPIE 2019
- Implementing, and Keeping in Check, a DSL Used in E-Learning - FLOPS 2020
- A Framework for Generating Diverse Haskell-IO Exercise Tasks - WFLP 2020
For task-template examples see the old code base.
You can generate tasks from templates by cloning the repository and using showTaskInstance <example-name> after invoking stack ghci.