Visual Studio Code Keybindings

keybindings.json

// Place your key bindings in this file to overwrite the defaults
[
    {
        "key": "ctrl+down",
        "command": "editorScroll",
        "args": {
            "to": "down",
            "by": "line",
            "revealCursor": true
        }
    },
    {
        "key": "ctrl+up",
        "command": "editorScroll",
        "args": {
            "to": "up",
            "by": "line",
            "revealCursor": true
        }
    },
    {
        "key": "ctrl+k t",
        "command": "haskero.insertType",
        "when": "editorTextFocus"
    }
]