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
  • Pretty printing symbols in vim: https://github.com/japesinator/vim-IdrisConceal
• 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 d
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		LocalLeader p
Lift hole		Cntl-Alt-L		LocalLeader l
Attempt to solve hole			C-c C-a
Extract hole			C-c C-e
Add missing cases			C-c C-m