diff --git a/src/lambda-calculus.js b/src/lambda-calculus.js index 7a1f242..bc7aeb9 100644 --- a/src/lambda-calculus.js +++ b/src/lambda-calculus.js @@ -392,10 +392,9 @@ function evalLC(term) { env = lastEnv; } else { // lastTerm is a JS function const res = lastTerm(term); - if ( res.term ) { - ({term, env} = res); - if ( ! env ) env = new Env; - } else + if ( res?.term ) + ( {term, env=new Env} = res ); + else term = res; } }