I think we can close this issue or mark it as wont-fix.
The original purpose of this issue was to provide a plug and play environment for people in the first Juvix workshop. However I think this is no longer needed because:
If a user prefers emacs over vscode, they are probably experienced enough to follow the simple instructions to setup the juvix-mode for emacs.
If a user is not experienced enough to follow those instructions, then they'll probably prefer to use vscode.
If you agree with this reasoning, we should close this issue.
I think we can close this issue or mark it as
wont-fix
. The original purpose of this issue was to provide a plug and play environment for people in the first Juvix workshop. However I think this is no longer needed because:If you agree with this reasoning, we should close this issue.