This file defines a flycheck checker based on Dedukti type checker dkcheck. Dedukti is a type checker for the lambda-Pi-calculus modulo. It is a free software under the CeCILL-B license. Dedukti is available at the following url: Flycheck is an on-the-fly syntax checker for GNU Emacs 24 ; Configuration To enable this checker in all files visited by dedukti-mode, add the following code to your Emacs configuration file: (eval-after-load 'dedukti-mode '(add-hook 'dedukti-mode-hook 'flycheck-dedukti-hook))