Skip to content

Commit 756fbeb

Browse files
authored
Merge pull request #77 from Kacarott/dev
Fix #76
2 parents c80190f + 93bea3f commit 756fbeb

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/lambda-calculus.js

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -325,6 +325,7 @@ function evalLC(term) {
325325
let argEnv;
326326
if ( arg?.term && arg?.env ) ({ term: arg, env: argEnv } = arg); // if callback is passed another callback, or a term
327327
const termVal = new Tuple( typeof arg === 'number' ? fromInt(arg) : arg , new Env(argEnv) );
328+
if (term.name === "_") return runEval( new Tuple(term.body, new Env(env)), stack );
328329
return runEval( new Tuple(term.body, new Env(env).setThunk(term.name, termVal)), stack );
329330
}
330331
return Object.assign( result, {term,env} );

0 commit comments

Comments
 (0)