Click a node to inspect it.
Nodes are SKY terms encoded as JSON:
K = [0], S = [1], Y = [2], app = [3,f,a]
Edges are one-step reductions labeled by:
ruleIdx ∈ {0,1,2} = {K,S,Y}
path = redex path (0=L, 1=R)
Branchial edges connect siblings: children created from the same parent at a given depth.