Lambda+

lambda+ is a good version of lambda calculus

symbol bank

λ ζ θ ι ε

changes

numbers!!!

math!!!

(λx.x+1)3

this makes 4

strings!!!

output!!!

ζ((λx.x+1)3)

this outputs 4

unicodification!!!

θ(97)

this makes "a" which outputs to a

ununicodification!!!

ι("a")

this makes 97

input!!!

ζ((λx.x+1)ι(ε))

with epsilon being the input (which it is), this would output b if input was a, and : if input was 9.

multiple outputs!!! with ;

example programs

hello world

ζ("h";"e";"l";"l";"o";" ";"w";"o";"r";"l";"d";"!")

cat

ζ(ε)

kiwiscript

ζ("k";"i";"w";"i")

kiwiscript but i did it COOL

ζ("k"; λx.λy.x;y;x "i" "w")