Status: 
- Download and install
stack. - Run
stack install QuickCheck. - Clone this repository (
git clone https://github.com/fmidue/haskell-template-parametrization.git). - Build it from within the cloned directory with
stack build. - Use
stack exec generate-tasks "path-to-folder"to translate tasks.
The folder to be translated should have the following contents:
defaults.hs, file with the default vars/tasks, folder with all tasks/solutions, folder with all solutions
The solutions should have the same name as the tasks they are belonging to.
As output, two folders output/tasks and output/solutions will be created that contain the materializations of what was provided as input.
For a (German) description of the system, also see the ABP'23 paper.