1 files changed, 6 insertions, 2 deletions
diff --git a/src/interpreter/parser.ts b/src/interpreter/parser.ts
index 5e3be0f..930b953 100644
--- a/src/interpreter/parser.ts
+++ b/src/interpreter/parser.ts
@@ -30,6 +30,10 @@ export const isVariable = (term: LambdaTerm): term is Variable => {
   return typeof term === "string";
 };
 
-export const parse = (term: string, library = false) => {
-  return peggyParser.parse(term, { peg$library: library });
+export const parse = (
+  term: string,
+  allowUnderscores = false,
+  library = false
+) => {
+  return peggyParser.parse(term, { peg$library: library, allowUnderscores });
 };