Skip to content

fmidue/haskell-template-parametrization

Repository files navigation

Status: Haskell CI

Usage guidelines

  • 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.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published