Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
Why do you think that https://github.com/company-mode/company-mode is a good alternative to idris2-mode
Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
Why do you think that https://github.com/company-mode/company-mode is a good alternative to idris2-mode