search

anoma / juvix-mode

The Juvix Emacs mode
https://github.com/anoma/juvix
GNU General Public License v3.0
1 stars 1 forks source link

Remove `juvix-input` #26

Closed janmasrovira closed 1 week ago

janmasrovira commented 1 week ago

Since unicode is discouraged in Juvix, it makes sense to remove the juvix input method.