Editors

Jump to bottom Edit New page

Ilan Godik edited this page Aug 8, 2015 · 16 revisions

Editor support generally consists of things like syntax highlighting, indentation-awareness, checkers, and at the most advanced, type-directed interactive editing assistance.

Emacs mode: https://github.com/idris-hackers/idris-mode
Vim mode: https://github.com/idris-hackers/idris-vim
- Unicode symbols in vim: https://github.com/japesinator/vim-IdrisConceal
Sublime: https://github.com/idris-hackers/idris-sublime
Atom: https://github.com/idris-hackers/atom-language-idris