Linter im Editor von serlo.org zum Laufen bringen

serlo / project-mfnf2serlo

0 stars 0 forks source link

Linter im Editor von serlo.org zum Laufen bringen #20

Open kulla opened 6 years ago

vroland commented 6 years ago

Die Frage ist, inwiefern der Aufwand lohnt, da die Linterregeln ja momentan auf unserer intermediate representation getestet werden. Also müsste man entweder den Linter auf Serlo-Repräsentation portieren oder Serlo-Repräsentation in MFNF-intermediate überführen, was größerer Aufwand wäre und uns gleichzeitig auf die längere Verwendung von MFNF-intermediate drängt...

kulla commented 6 years ago

Protokoll Treffen:

Frage, ist es mit dem visuellen Editor notwendig? Vor allem: Wie setzt man es in Gesamtserlo um?
Darstellung: Wie bei Google Docs mit Rechtschreibfehlern
Beispiel: \subset durch \subseteq ersetzen
Plugins sind einfach / Text wird schwierig -> ggf Zwischenform überlegen