command | shortcut |
---|---|
Typechecking | shift + cmd/ctrl + t |
Show the types of a variable | shift + cmd/ctrl + o |
Show the doc for a variable | shift + cmd/ctrl + d |
Show the doc for a definition | shift + cmd/ctrl + f |
Show holes | shift + cmd/ctrl + h |
Add clause | shift + cmd/ctrl + a |
Split case | shift + cmd/ctrl + c |
Search proof | shift + cmd/ctrl + s |
Make with | shift + cmd/ctrl + w |
Make case | shift + cmd/ctrl + m |
Make lemma | shift + cmd/ctrl + l |
Apropos | shift + cmd/ctrl + k |
Eval current line | shift + cmd/ctrl + e |
Start / Refresh REPL | shift + cmd/ctrl + r |
Send selection to REPL | shift + cmd/ctrl + x |
- ipkg highlighting
- Auto completion
- Show type definition on hover
- Type checking on saving file
- Within Visual Studio Code, open the command palette (Ctrl-Shift-P / Cmd-Shift-P).
- Select
Install Extension
and search for 'Idris' or runext install Idris
. - Download Idris and make sure the
idris
executable is on yourPATH
.
- Internal design is inspired by atom-language-idris.
BSD 3-Clause, the same as Idris.