Add Version number to the emacs mode#1320

Merged

jonaprieto merged 1 commit intomainfrom mariari/juvix-mode-version

Jul 13, 2022

+20-15

Commits on Jul 13, 2022

Add Juvix-version call to juvix-mode, and fixedup ending )'s
mariari
committed