Apocrypha

lambdapi-mode

A major mode for editing Lambdapi source code

A major mode for editing Lambdapi source code

homepage ↗

Available in

OverlayNewestEbuildsLast activity
melpa GitHub ↗ 20260701.916 1 23 h details ›
melpa-stable GitHub ↗ 3.0.0 1 23 h details ›

Versions & arches

VersionOverlay amd64x86 Committed
20260701.916 melpa amd64 testing x86 testing 26 d view · download · history ↗
3.0.0 melpa-stable amd64 testing x86 testing 12 mo view · download · history ↗

Runtime dependencies of 20260701.916

show 4 lines
app-emacs/eglot
app-emacs/math-symbol-lists
app-emacs/highlight
>=app-editors/emacs-26.3:*