Editors

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
• Visual Studio Code: https://github.com/zjhmale/vscode-idris
• Spacemacs: https://github.com/syl20bnr/spacemacs/tree/master/layers/%2Blang/idris