Skip to content

Update apply-reduction-relation* to be sensitive to alpha-equivalence#102

Closed
howell wants to merge 1 commit into
racket:masterfrom
howell:master
Closed

Update apply-reduction-relation* to be sensitive to alpha-equivalence#102
howell wants to merge 1 commit into
racket:masterfrom
howell:master

Update apply-reduction-relation* to be sensitive to alpha-equivalence

1e7ff97
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs