Lambda
A powerful and mathematics oriented programming language based on typed lambda calculus.
France
Pinned Repositories
.github
Lambda organization Github profile.
specification
Lambda language specification about syntax, typechecking rules, runtime rules with examples.
Lambda's Repositories
lambda-language/specification
Lambda language specification about syntax, typechecking rules, runtime rules with examples.
lambda-language/.github
Lambda organization Github profile.