Idris Visual Studio Code Setup

idris-vscode-setup.md

To setup Idris with Visual Studio Code:

1. Install Idris, clearly: https://www.idris-lang.org
2. Follow the directions to install vscode-idris: https://github.com/zjhmale/vscode-idris
3. In Visual Studio Code settings, set the executable path of Idris (obtained by which idris), and turn on Show Output When Typechecking
4. In Visual Studio Code Keyboard Shortcuts menu, open keybindings.json, and add the following:

{
    "key": "ctrl+alt+c",
    "command": "idris.case-split",
    "when": "editorLangId == 'idris'"
},
{
    "key": "ctrl+alt+d",
    "command": "idris.docs-for",
    "when": "editorLangId == 'idris'"
},
{
    "key": "ctrl+alt+a",
    "command": "idris.add-clause",
    "when": "editorLangId == 'idris'"
},
{
    "key": "ctrl+alt+l",
    "command": "idris.make-lemma",
    "when": "editorLangId == 'idris'"
},
{
    "key": "ctrl+alt+m",
    "command": "idris.make-case",
    "when": "editorLangId == 'idris'"
},
{
    "key": "ctrl+alt+r",
    "command": "idris.typecheck",
    "when": "editorLangId == 'idris'"
},
{
    "key": "ctrl+alt+s",
    "command": "idris.proof-search",
    "when": "editorLangId == 'idris'"
},
{
    "key": "ctrl+alt+t",
    "command": "idris.type-of",
    "when": "editorLangId == 'idris'"
},
{
    "key": "ctrl+alt+w",
    "command": "idris.make-with",
    "when": "editorLangId == 'idris'"
}