Juvix mode
The Juvix Emacs mode
Features
Load a file with M-x juvix-load
or SPC m l
with evil mode.
After loading, move the cursor to an identifier to see its type and documentation.
Jump to definition with M-x juvix-goto-definition
or g d
with evil mode.
Get inline error messages with flycheck.
Format your code automatically with M-x juvix-format-buffer
or SPC m f
.