emacs-flycheck-dedukti 0-0.3dbff56 Flycheck integration for the dedukti language
This package provides a frontend for Flycheck to perform syntax checking on dedukti files.
- Website: https://github.com/rafoo/flycheck-dedukti
- License: CeCILL-B
- Package source: ocaml.scm
- Patches: None
- Builds: x86_64-linux, i686-linux