S SayoReduction playground

SOURCE

main.sayo

Ready
1 file · standard world included

SAYO REDUCTION IR

Reduction

The motion of evaluation will appear here.

0 / 0
No trace loaded
Event log 0 events CloseOpen

    LEARN BY REDUCTION

    Start with a small motion

    Terms form the current state. Relations transform that state. Evaluation stops when no Relation applies.

    M NApply N to M
    (Add 9)Reduce a Group first
    Plus{9}A Term carrying state
    %0Refer to captured payload

    MEMORY WORLD

    Edit user world

    Files and semantic empty directories are bundled into one immutable world snapshot when you run.