search

fmidue / logic-tasks

0 stars 1 forks source link

Refactoring / Nutzung von `singleChoice`-Bewertungsfunktionen #177

Closed jvoigtlaender closed 4 weeks ago

jvoigtlaender commented 1 month ago

Müsste zumindest bei LogicTasks.Semantics.Pick möglich sein, analog zu https://github.com/fmidue/modelling-tasks/blob/b5dbd4be1b9be0e25c55ed8f8cea5755621376ef/src/Modelling/PetriNet/Pick.hs#L142-L168