A powerful and mathematics oriented programming language based on typed lambda calculus.
main ← λ⟨⟩ →
⟨ ∀msg ∈ 𝕊, msg ⟩ ← "World"
⇒ print ("Hello " + msg)
Lambda
A powerful and mathematics oriented programming language based on typed lambda calculus.
- France
Pinned Loading
Repositories
Showing 2 of 2 repositories
- specification Public
Lambda language specification about syntax, typechecking rules, runtime rules with examples.
lambda-language/specification’s past year of commit activity
