There is an Emacs mode available for Juvix. Currently, it supports syntax highlighting for well-scoped modules.
To install it add the following lines to your Emacs configuration file:
(push "/path/to/juvix/juvix-mode/" load-path) (require 'juvix-mode)
Make sure that Juvix is installed in your
The Juvix major mode will be activated automatically for
||Runs the scoper and adds semantic syntax highlighting|