Backport "Fix by-name parameter in beta-reduction" to LTS#21037

Merged

WojciechMazur merged 1 commit intolts-3.3from

Jul 5, 2024

Commits on Jul 5, 2024

Fix by-name parameter in beta-reduction

nicolasstucki
authored and
WojciechMazur
committed