Repository navigation

A substitution under a binder neither captures the value nor passes over a body without the target - #1811

Merged

Rafael-SOWNet merged 1 commit into

a-substitution-under-a-binder-skips-a-body-without-the-target

Oct 6, 2026

Commits on Oct 6, 2026
- A substitution under a binder neither captures the value nor passes over a body without the target
  
  Rafael-SOWNet
  and
  claude
  committed
  627ca30