Editors

Introduction

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

• Atom: https://github.com/idris-hackers/atom-language-idris
• Emacs mode: https://github.com/idris-hackers/idris-mode
• Spacemacs: https://github.com/syl20bnr/spacemacs/tree/master/layers/%2Blang/idris
• Sublime: https://github.com/idris-hackers/idris-sublime
• Vim mode: https://github.com/idris-hackers/idris-vim
• Visual Studio Code: https://github.com/zjhmale/vscode-idris

Interactive Editing Commands

Idris provides a useful backend for interactive editing, this are some key bindings to help you:

	REPL	Atom	Emacs	Vim
Reload		Cntl-Alt-R	C-c C-l	LocalLeader r
Type-check name	:t	Cntl-Alt-T	C-c C-t	LocalLeader t
Documentation	:doc	Cntl-Alt-D	C-c C-d d	LocalLeader h
Add definition		Cntl-Alt-A	C-c C-s	LocalLeader d
Case split		Cntl-Alt-C	C-c C-c	LocalLeader c
'with' insertion		Cntl-Alt-W	C-c C-w	LocalLeader w
Match		Cntl-Alt-M	C-c C-s	LocalLeader mc
Search		Cntl-Alt-S	C-c C-a	LocalLeader p
Lift hole		Cntl-Alt-L	C-c C-e	LocalLeader l
Add missing cases			C-c C-m