SKI calculus

wfbarnes.xyz

S[x][y][z]→x[z][y[z]]

K[x][y]→x

I=S[K][K]

Whole-number arithmetic

+ * ^

Examples

Evaluator

reduction limit

Expression

reductions 0

decoded integer —

normal-form length 0

current form: —

ready