From 8dacee8f73633131fd68935c1e2493dc4beec837 Mon Sep 17 00:00:00 2001 From: Elizabeth Hunt Date: Sat, 1 Mar 2025 12:36:47 -0700 Subject: updates --- src/interpreter/interpreter.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/interpreter') diff --git a/src/interpreter/interpreter.ts b/src/interpreter/interpreter.ts index e90b8ce..65a848f 100644 --- a/src/interpreter/interpreter.ts +++ b/src/interpreter/interpreter.ts @@ -249,8 +249,8 @@ export const emitNamed = (term: DebrujinifiedLambdaTerm): string => { export const interpret = ( term: string, symbolTable = new SymbolTable(), + allowUnderscores = false, // in our world, underscores should be internal to the game. maxDepth = 15, - allowUnderscores = false ): DebrujinifiedLambdaTerm => { const ast = parse(term, allowUnderscores); const debrujined = debrujinify(ast, symbolTable); -- cgit v1.2.3-70-g09d2