test(LambdaCalculus): add tests for capture-avoiding substitution - #737
Open
korbonits wants to merge 2 commits into
Open
test(LambdaCalculus): add tests for capture-avoiding substitution#737korbonits wants to merge 2 commits into
korbonits wants to merge 2 commits into
