Repository navigation

Broadcast `Tangent`s like their primal - #724

Open

devmotion wants to merge 4 commits into

mainfrom

dmw/tangent-broadcastable

Open

Broadcast `Tangent`s like their primal#724
devmotion wants to merge 4 commits into
mainfrom
dmw/tangent-broadcastable

Commits on Oct 29, 2026
- Broadcast `Tangent`s like their primal
  
  devmotion
  and
  claude
  committed
  a35f1b0
Commits on Oct 30, 2026
- Check for zero tuple type
  devmotion
  authored
  5abeebc
- Test tuple projector collapse and inference
  
  devmotion
  and
  claude
  committed
  7e08f58
- Fix format
  
  devmotion
  and
  github-actions[bot]
  authored
  80dc992