Skip to content
@lambda-language

Lambda

A powerful and mathematics oriented programming language based on typed lambda calculus.
  • France
README.md

Project logo

Lambda language

A powerful and mathematics oriented programming language based on typed lambda calculus. 

main ← λ⟨⟩ →
  ⟨ ∀msg ∈ 𝕊, msg ⟩ ← "World"
    ⇒ print ("Hello " + msg)

Pinned Loading

  1. specification specification Public

    Lambda language specification about syntax, typechecking rules, runtime rules with examples.

    3 1

Repositories

Showing 2 of 2 repositories

Top languages

Loading…

Most used topics

Loading…