fmidue / logic-tasks

0 stars 1 forks source link

Replace `allowArrowOperators` with `operatorFrequencies` in `SynTreeConfig` #179

Closed nimec01 closed 1 month ago

nimec01 commented 1 month ago

Aus #137:

Aspekte wie "LegalProposition sollte kein <= benutzen" ließen sich einbringen, indem der Config-Checker für diesen Aufgabentyp einfach nicht erlaubt, dass für BackImpl ein positiver Wert gesetzt ist.

Sollten wir das hier wirklich über den Config-Checker erzwingen? Wenn nur

[...], ob das nicht bereits ein Fehler ist, da man die Implikation nur in die andere Richtung kennengelernt hat.

der Grund dafür ist, würde ich das eher vermeiden und dies lieber dem Lehrenden selbst überlassen.