ISAR Open Rewriter

← Demos

ISAR Solver

speed

nodes: 0 · step: 0

✓ Normal Form

⚠ Reduction limit reached

Carrier Fingerprint

S-weight—

K-weight—

I-weight—

ι-weight—

App nodes—

Free vars—

Depth—

Size—

Redexes—

Δ size—

Open Boundary — inject term

Current term

—

Reduction Trace