search

fmidue / logic-tasks

0 stars 1 forks source link

use `multipleChoiceSyntax` from `output-blocks`? #183

Closed jvoigtlaender closed 4 weeks ago

jvoigtlaender commented 1 month ago

durch Abstraktion in partialGrade zum Beispiel hier:

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

und hier:

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