Backport "Allow to beta reduce curried function applications in quotes reflect" to LTS#21040
Merged
WojciechMazur merged 1 commit intolts-3.3from Jul 5, 2024
Merged
Backport "Allow to beta reduce curried function applications in quotes reflect" to LTS#21040WojciechMazur merged 1 commit intolts-3.3from
WojciechMazur merged 1 commit intolts-3.3from