Skip to content

fix: lower De Bruijn indices when a binder is removed (#56)#70

Merged
Unisay merged 1 commit into
mainfrom
issue-56/beta-reduce-unshift
Jun 14, 2026
Merged

fix: lower De Bruijn indices when a binder is removed (#56)#70
Unisay merged 1 commit into
mainfrom
issue-56/beta-reduce-unshift

fix: lower De Bruijn indices when a binder is removed (#56)

7e1a852
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
tests
succeeded Jun 14, 2026 in 3m 49s