Skip to content

fix alpha-conversion problems in ehoare#872

Merged
strub merged 1 commit intomainfrom
fix-ehoare
Jan 27, 2026
Merged

fix alpha-conversion problems in ehoare#872
strub merged 1 commit intomainfrom
fix-ehoare

Commits

Commits on Jan 27, 2026