Documentation
Commentary
A major mode for editing Lambdapi source code. This major mode provides indentation, syntax highlighting, completion, easy unicode input, and more.
Consumers
Reverse Dependencies
No reverse dependencies recorded.
Package
A major mode for editing Lambdapi source code
Documentation
A major mode for editing Lambdapi source code. This major mode provides indentation, syntax highlighting, completion, easy unicode input, and more.
Consumers
No reverse dependencies recorded.