We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.
ππΈππΉπ»πΈβ―
ππΈππΉπ»πΈβ― is a programming language based off of Lambda Calculus made by User:Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff. All functions must be named after whole numbers, and functions can have multiple arguments without the need for currying. The β symbol is a generalized function definition. It creates a function for every number. Curly brackets are used in function bodies. Also minus sign is for negative numbers, and subtracting. Functions use polish notation. Also the function name is after the lambda.
Programs
input is used as a placeholder for user to input something, and the final program state is the output
Calculator
Ξ» 1 2 3 { - 2 - 0 3 } Ξ» -1 2 3 { - 2 3 } input input input
The first input is the operation, 1 is plus, -1 is minus.
truth-machine
Ξ» 1 { 1 } Ξ» 0 { } input
counter
Ξ» β { - β -1 } 0
computation class
since its just lambda calculus but with numbers, it is turing complete
quirks
Ξ» 2 { 2 } is a identity function, while Ξ» 2 { - 3 1 } always returns 2.