A Combinator Language

A Combinator Language or ACL is an esolang created by User:Yayimhere, as a very minimal, and specifically NOT turing complete combinator calculus. Its name is also incredibly lazy, however still more creative than APL.

Combinators/lambda expressions

ACL allows the below expressions:

⌀ = (λf. (λx. f (x x))(λx. f (x x)))
⌑ = (λx.λy.λf. f x y)
⎂ = (λx.λy.x)
⎃ = (λx.λy.y)
⌄ = λx.x
⌊x⌋ = (x)

Which leads to the following BNF:

<p> := <p> <p> | ⌊<p>⌋ | ⌀ | ⌑ | ⎂ | ⎃