% IDRIS Workshop - CheatSheets % Carsten König % Devopenspace Leipzig 2016
\newpage
Befehl | Atom | | Emacs | -------|------|-|-------|- typecheck|idris:typecheck|ctrl-alt-r|idris-load-file|C-c C-l REPL|idris:open-repl|ctrl-alt-enter|idris-repl|C-c C-z type at point|idris:type-of|ctrl-alt-t|idris-type-at-point|C-c C-t initial Clause|idris:add-clause|ctrl-alt-a|idris-add-clause|C-c C-s case split|idris:case-split|ctrl-alt-c|idris-case-dwim|C-c C-c add case|idris:make-case|ctrl-alt-m|idris-case-dwim|C-c C-c introduce with|idris:make-with|ctrl-alt-w|idris-make-with-block|C-c C-w extract lemma|idris:make-lemma|ctrl-alt-l|idris-make-lemma|C-c C-e proof search|idris:proof-search|ctrl-alt-s|idris-proof-search|C-c C-a doc search|||idris-apropos|C-c C-d a type search|||idris-type-search|C-c C-d t doc at point|idris:docs-for|ctrl-alt-d|idris-docs-at-point|C-c C-d d