Repository navigation

feat(Semantics/Composition): intensions in the engine, real IFA - #5869

Merged

hawkrobe merged 2 commits into

mainfrom

refactor/intensional-1027j

Oct 27, 2026

Merged

feat(Semantics/Composition): intensions in the engine, real IFA#5869
hawkrobe merged 2 commits into
mainfrom
refactor/intensional-1027j

Commits on Oct 27, 2026
- feat(Semantics/Composition): intensions in the engine, real IFA
  hawkrobe
  committed
  f7a6acb
- docs(Semantics/Composition): textbook headers at mathlib length
  hawkrobe
  committed
  9954195