feat(echo): echo types through the OCaml pipeline (typecheck + eval + parser) + TangleIR contract#45

Merged

hyperpolymath merged 3 commits into

mainfrom

claude/hopeful-fermi-iXnba

Jun 14, 2026

Commits on Jun 14, 2026

feat(echo): integrate echo + product types into the OCaml typechecker
claude
committed
docs(echo): TangleIR residue-threading cross-repo contract
claude
committed
feat(echo): runtime eval + surface parser for echo/product forms
claude
committed