diff options
Diffstat (limited to 'src/interpreter/interpreter.ts')
| -rw-r--r-- | src/interpreter/interpreter.ts | 2 |
1 files changed, 1 insertions, 1 deletions
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); |