lambdapi-mode

Homepage: https://github.com/Deducteam/lambdapi

Author: Ashish Barnawal, Diego Riviero, Gabriel Hondet, Rodolphe Lepigre

Updated:

Summary

A major mode for editing Lambdapi source code

Commentary

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

Dependencies