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.
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.