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	VIM
Add definition		C-c C-s	Cntl-Alt-A	LocalLeader d
Case split		C-c C-c	Cntl-Alt-C	LocalLeader c
Documentation	:doc	C-c C-d d	Cntl-Alt-D	LocalLeader d
Lift hole			Cntl-Alt-L	LocalLeader l
Match		C-c C-s	Cntl-Alt-M	LocalLeader mc
Reload			Cntl-Alt-R	LocalLeader r
Search			Cntl-Alt-S	LocalLeader p
Type-check name	:t	C-c C-t	Cntl-Alt-T	LocalLeader t
'with' block insertion		C-c C-w	Cntl-Alt-W	LocalLeader 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