[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] An Emacs package for Unicode input

Hi all!

I wrote a simple Emacs package [1] to enable input of Unicode symbols. It's pretty similar to the Neovim plugin [2], transforming ASCII into Unicode as you type.

I didn't want to write yet another major mode for TLA+, so this is a package that can be used together with any of the existing Emacs major modes. The only caveat is that you probably want to disable `prettify-symbols-mode` if the major mode defines it.

Hope it is useful for the Emacs users out there that want to try the Unicode. I'm enjoying it a lot - thanks Andrew Helwer for making it real!

[1]: https://github.com/bugarela/tla-input
[2]: https://github.com/tlaplus-community/tlaplus-nvim-plugin

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/f4148dc1-2854-4f43-ac6c-476ca44170a9n%40googlegroups.com.