Merge pull request #111 from JohanWiltink/main

JohanWiltink · web-flow · commit 036e527d95fe · 2025-09-21T02:54:02.000+02:00
Update lambda-calculus.js
diff --git a/src/lambda-calculus.js b/src/lambda-calculus.js
@@ -166,7 +166,7 @@ export function toInt(term) {
 }
 
 // parse :: String -> Env { String => Term }
-function parse(code) {
+export function parse(code) {
   function parseTerm(env,code) {
     function wrap(name,term) {
       const FV = term?.free?.() || new Set ; FV.delete("()");

Original file line number	Diff line number	Diff line change
`@@ -166,7 +166,7 @@ export function toInt(term) {`
`166`	`166`	`}`
`167`	`167`
`168`	`168`	`// parse :: String -> Env { String => Term }`
`169`		`-function parse(code) {`
	`169`	`+export function parse(code) {`
`170`	`170`	`function parseTerm(env,code) {`
`171`	`171`	`function wrap(name,term) {`
`172`	`172`	`const FV = term?.free?.() \|\| new Set ; FV.delete("()");`