𝕃𝔸𝕄𝔹𝔻𝔸♯

𝕃𝔸𝕄𝔹𝔻𝔸♯ 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.