Home

Welcome to the lambda-p wiki!

Lambda-p at its core is a Syntax/notation that has very few semantics and closely follows the syntax of the lambda calculus. When looking at the notation you'll see it has no execution semantics; all semantics are driven by the libraries referenced by the notation. At the top level of the notation, everything is contained within routines. The scope of everything within a routine is other statements or parameters within the routine.

This deviates greatly from traditional programming languages that tie a wide range of semantics to the syntax of the language.