gentoo.mahdi.cz

  

app-emacs:lambdapi-mode


A major mode to edit Lambdapi files.
https://github.com/Deducteam/lambdapi

lambdapi-mode-20240425.941
download~amd64 ~x86melpa
lambdapi-mode-2.5.0
download~amd64 ~x86melpa-stable