This file defines a major mode for editing Dedukti files.
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:
This major mode is defined using the generic major mode mechanism.