tricu

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

README.md (1369B)


Archived SCP experiment

SCP was a separate language experiment, not a stage of the lambda tricu compiler. This directory preserves its libraries, demos, test inputs, historical launcher and mixed-language workspace dispatcher. Nothing here is an active tricu build, test, compiler-verification or recovery prerequisite. Nix excludes the entire archive from active source inputs. There is no maintained SCP executable/target.

Files retain historical contents and repository-relative paths. They are evidence, not a runnable relocated workspace: use Git history for the original integrated checkout. src/*-fragment.hs and test/Spec-fragments.hs preserve removed host/test fragments and are not standalone modules. Historical usage and language semantics remain in the SCP reference and language contract.

test/fixtures/ preserves the complete pre-separation mixed support snapshots and receipts, unmodified. Separation initially produced dependency-closed tricu-only projections with exact export/kernel comparisons. The 38 active support modules have since been genuinely rebuilt with stable lowering; original projected snapshots remain unchanged, and current kernels carry their real native receipts. No compiler identity was relabeled. See validation.