Die Vorteile einer VSCode-Extension könnten sein, dass wir keine build-Probleme haben, alle IDE-Einstellungen und Tools benutzt werden können (z. B. das Terminal oder die Haskell-Extension) und die Installation viel einfacher wäre. Nachteil wäre, dass man die Verwendung von VSCode bzw. auch Codium erzwingen würde.
Die Vorteile einer VSCode-Extension könnten sein, dass wir keine build-Probleme haben, alle IDE-Einstellungen und Tools benutzt werden können (z. B. das Terminal oder die Haskell-Extension) und die Installation viel einfacher wäre. Nachteil wäre, dass man die Verwendung von VSCode bzw. auch Codium erzwingen würde.