search

fmidue / logic-tasks

0 stars 1 forks source link

Mögliche Schreibweisen ergänzen #138

Open KatinkaMeer opened 2 months ago

KatinkaMeer commented 2 months ago

Die Symbole ¬ ∨ ∧ können in der Auflistung, der möglichen Schreibweisen auftauchen. Dadurch wird klar, dass es möglich ist diese Ausdrücke zu kopieren und dann einzufügen, ohne einen Syntaxfehler zu erhalten.

jvoigtlaender commented 2 months ago

Passieren tut diese Ausgabe der "Legende" in folgenden Definitionen: https://github.com/fmidue/logic-tasks/blob/8a9537b528e0981a048688b0df4f68cff07b3356/src/LogicTasks/Helpers.hs#L63-L141

Im Wesentlichen ginge es um einen Abgleich bzw. eine Übernahme der "Tokensymbole", die vom Parser tatsächlich als Eingabe akzeptiert werden, hier: https://github.com/fmidue/logic-tasks/blob/8a9537b528e0981a048688b0df4f68cff07b3356/src/UniversalParser.hs#L138-L169