tricu

An interpreted language for exploring Tree Calculus
Log | Files | Refs | README | LICENSE

README.md (514B)


Located-token layout

layout.tri compares authored SCP layout transitions with the independent source parser on real located tokens. Its reusable constructors come from consumers.layout; only the concrete probes and oracle wiring belong in this demo.

Stored execution is covered by test/scp_native_validation.py. The former cold-source layout shell experiments were removed; their history remains in Git. See the SCP guide for the historical project workflow.