/juvix-mode

The Juvix Emacs mode

Primary LanguageEmacs LispGNU General Public License v3.0GPL-3.0

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. load-file

Jump to definition with M-x juvix-goto-definition or g d with evil mode. goto

Get inline error messages with flycheck. error

Format your code automatically with M-x juvix-format-buffer or SPC m f. format