emacs-dedukti-mode 0-0.d7c3505 Emacs major mode for Dedukti files
This package provides an Emacs major mode for editing Dedukti files.
- Website: https://github.com/rafoo/dedukti-mode
- License: CeCILL-B
- Package source: ocaml.scm
- Patches: None
- Builds: x86_64-linux, i686-linux