Fun3 / SKI

A program is one call: CALL(...). Trees are built from S(), K(), I(), APP() and PRINT().

Load example

Program

Console

step limit: 10,000 reductions per run · PRINT probes for Church numerals and passes its argument through unchanged