search

fmidue / output-blocks

0 stars 0 forks source link

`multipleChoiceSyntax`? #16

Open jvoigtlaender opened 6 hours ago

jvoigtlaender commented 6 hours ago

Wäre analog zu singleChoiceSyntax (zur Verwendung mit singleChoice) auch eine wiederverwendbare Funktion für Verwendung in Tandem mit multipleChoice sinnvoll?

jvoigtlaender commented 6 hours ago

Verwendungen von multipleChoice in logic-tasks (wo vielleicht in partialGrade abstrahiert werden könnte durch Einführung von multipleChoiceSyntax):

https://github.com/fmidue/logic-tasks/blob/0583969edc3eacb8841fd19f7d8a7dbbd3e4317b/src/LogicTasks/Syntax/IllegalFormulas.hs#L74-L94

https://github.com/fmidue/logic-tasks/blob/0583969edc3eacb8841fd19f7d8a7dbbd3e4317b/src/LogicTasks/Syntax/IllegalCnfs.hs#L67-L80