GitHub - Deducteam/sublime-lambdapi: Grammar of the Lambdapi language · GitHub
Skip to content

Deducteam/sublime-lambdapi

Folders and files

Repository files navigation

This repo describes the syntax of the Lambdapi language which is provided under an appropriate license.
It is especially useful for syntax highlighting in GitHub thanks to linguist.

About

Grammar of the Lambdapi language

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

Contributors