Interpreter associated types#677

Merged

zhenrongliew merged 7 commits into

rustfrom

dl/interp-associated-types

Jul 9, 2026

Commits on Jun 22, 2026

refactor(interpreter): consolidate Interpretable<I>, split forward effect algebra

zhenrongliew
and
claude
committed

Commits on Jun 23, 2026

Refactor interpreter frames and enhance SCF integration in toy language
zhenrongliew
committed
Refactor interpreter context handling to use ForwardContext
zhenrongliew
committed

Commits on Jun 24, 2026

ForwardCtx is gone from exports and dialect imports. Merged `I` and `Ctx`.
zhenrongliew
committed

Commits on Jun 25, 2026