You need atom-ide-ui, to install it, run :
$ apm install atom-ide-ui
dedukti-editor needs a language server for Dedukti. The easiest method is to use the OPAM package manager:
$ opam switch 4.06.1$ eval `opam config env`$ opam repository add deducteam https://scm.gforge.inria.fr/anonscm/git/opam-deducteam/opam-deducteam.git$ opam install ocamlfind ocamlbuild bindlib earley earley-ocaml$ opam install lambdapi-lsp
In case the installation doesn't work, don't forget to update your packages :
$ opam update$ opam upgrade
If you want to contribute to development of the mode you can clone this repository from GitHub:
$ git clone https://github.com/lachhebo/dedukti-editor.git$ cd dedukti-editor$ apm install$ apm link
apm install will place the package in
To debug, open a developper console (Ctrl+Shift+I).
If you want to inspect the communication between Atom and the language server, execute the following piece of code in the Console.
Reload the window and you should see every messages.
Good catch. Let us know what about this package looks wrong to you, and we'll investigate right away.