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.