README.md
September 11, 2025 ยท View on GitHub
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.
September 11, 2025 ยท View on GitHub
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.