GitHub - emacsmirror/lambdapi-mode: A major mode for editing Lambdapi source code

emacsmirror / lambdapi-mode Public

Notifications You must be signed in to change notification settings
Fork 0
Star 2

A major mode for editing Lambdapi source code

github.com/deducteam/lambdapi

2 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 76 Commits
.gitignore		.gitignore
Cask		Cask
Makefile		Makefile
THANKS.md		THANKS.md
TODO		TODO
dune		dune
dune-project		dune-project
lambdapi-abbrev.el		lambdapi-abbrev.el
lambdapi-capf.el		lambdapi-capf.el
lambdapi-input.el		lambdapi-input.el
lambdapi-layout.el		lambdapi-layout.el
lambdapi-mode.el		lambdapi-mode.el
lambdapi-proofs.el		lambdapi-proofs.el
lambdapi-site-file.el		lambdapi-site-file.el
lambdapi-smie.el		lambdapi-smie.el
lambdapi-vars.el		lambdapi-vars.el
test.sh		test.sh

About

A major mode for editing Lambdapi source code

github.com/Deducteam/lambdapi

Custom properties

Report repository

Releases

No releases published

Sponsor this project

https://emacsair.me/about

Learn more about GitHub Sponsors

Packages

No packages published

Contributors 11

Languages