evinism
commented
4 years ago Testing λa.λb.(λε₁.(λa.λε₁.a)b((λa.λε₁.a)bε₁))a from linked issue shows this is no longer an issue. Wowie.
Closed evinism closed 4 years ago
evinism
commented
4 years ago Testing λa.λb.(λε₁.(λa.λε₁.a)b((λa.λε₁.a)bε₁))a from linked issue shows this is no longer an issue. Wowie.
Fixes https://github.com/evinism/lambda-explorer/issues/91
Haven't profiled it, but based on tests this doesn't seem to wreck performance, and should be nicely memoized.