Skip to content

Fix lambda normalization by renumbering parameters from innermost scope#568

Open
rishi-jat wants to merge 11 commits into
zio:developfrom
rishi-jat:fix-lambda-normal-form
Open

Fix lambda normalization by renumbering parameters from innermost scope#568
rishi-jat wants to merge 11 commits into
zio:developfrom
rishi-jat:fix-lambda-normal-form

test: add string-based regression test for lambda normalization

6e5ba87
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.