A major mode for editing Lambdapi source code. This major mode provides
 indentation, syntax highlighting, completion, easy unicode input, and more.