jvoigtlaender
commented
1 week ago Auf das Top-Level heben macht Sinn, aber nach außerhalb der Bibliothek exposed muss es vielleicht nicht werden, wenn wie in https://github.com/fmidue/logic-tasks/issues/221#issuecomment-2487676385 beschrieben vorgegangen wird (also zum Beispiel in der Konzertaufgabe der "neue/liberale" SynTree-Parser verwendet wird).
Die Hilfsfunktion https://github.com/fmidue/logic-tasks/blob/5000317dd4397b69121b68838eaa72eb3d453ede/src/Trees/Types.hs#L97-L100 sollte auf das Top-Level gehoben werden, um sie dann zum Beispiel in https://github.com/fmidue/flex-tasks/blob/86ccca20127cebb1fbe5318c7ad3bc4c70911170/tasks/proplogic.txt#L298-L302 zu verwenden.