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

Interactive Editing Commands

Interactive editing commands in different editors:

	REPL	EMACS	ATOM
Add definition			Cntl-Alt-A
Case split		C-c C-c	Cntl-Alt-C
Documentation	:doc	C-c C-d d	Cntl-Alt-D
Lift hole			Cntl-Alt-L
Match		C-c C-s	Cntl-Alt-M
Reload			Cntl-Alt-R
Search			Cntl-Alt-S
Type-check name	:t	C-c C-t	Cntl-Alt-T
'with' block insertion		C-c C-w	Cntl-Alt-W
Attempt to solve hole		C-c C-a
Extract a hole or provisional definition name to an explicit top level definition		C-c C-e
Add missing pattern-match cases to an existing definition		C-c C-m