Skip to content

TS L0 impl (1/5): algebra inhabitance widening — ts_*_facts_* data lines per v4-ts-algebra-inhabitance-widening-worksheet-2026-06-01.md §10.0 - #4155

Merged
briansrls merged 5 commits into
mainfrom
session/fierce-deer-550
Jun 1, 2026
Merged

briansrls merged 5 commits into
mainfrom
session/fierce-deer-550

Commits

  1. Commits on Jun 1, 2026