Ensure NodeJS and Idris 2 are installed.
Clone the repository:
git clone https://github.com/stoand/kakoune-idris ~/.kakoune-idris/
Add to your kakrc:
source ~/.kakoune-idris/idris.kak
map global normal <minus> ':enter-user-mode idris-ide<ret>'
Note: this sets the minus key to be the idris ide mode key.
This can be changed by replacing the <minus> above with the desired key.
See the tests/ dir for an example project
# The plugin expects the "*.ipkg" file to be in the same folder as the "src" dir
# Otherwise there may be a "Module name * does not match file name *" error
cd myproject
kak myproject.ipkg
mkdir src
kak src/Main.idr
# Install nodemon to watch for changes
npm i -g nodemon
# Run action tests
nodemon ./ide-mode-test.js
# Run protocol parser tests
nodemon ./parse-protocol-expr-test.js