This plugin is written in Reason (basically OCaml) , which compiles to JS via BuckleScript.
The user interface is built using React, with ReasonReact as the binding.
- clone the repo and load it as a development package
- open the repo in the development mode
- install dependencies
- checkout to the
dev
branch. Themaster
branch is for stable releases.
apm develop agda-mode
atom -d ~/github/agda-mode
cd ~/github/agda-mode
npm install
git checkout dev
You would also need to have Reason and BuckleScript installed:
The only difference between dev
and master
is the entry point of the package, specified in ./package.json
.
master
:./lib/js/bundled.js
.dev
:./lib/js/src/AgdaMode.bs
.
To have the BuckleScript transpiler running while developing:
npm run start
If the built artefacts are stale, to rebuild them, simple run start
again:
npm run start
To re-build the keymaps from Agda's Emacs mode, run:
npm run keymap-gen
This runs ./keymap.el
, which can also be run manually and pointed to a custom Agda path.
To print the keymap list, run:
npm run keymap-print
To build and bundle ./lib/js/bundled.js
(the entry file):
npm run build