Lambdapi is a programming language recognized by GitHub Linguist and used with .lp.
Quick facts
What is Lambdapi
Lambdapi is a programming language recognized by GitHub Linguist and used with .lp.
GitHub Linguist classifies Lambdapi as a programming language, typically using extensions such as .lp.
File extensions:
Related languages
Frequently asked questions
Lambdapi is a programming language recognized by GitHub Linguist and used with .lp.
Common extensions include .lp.
Sources & standards
Updated 2026-08-18
Explore this reference