a very simple lambda calculus interpreter using bun
| grammar.peggy | ||
| parser.js | ||
| README.md | ||
| repl.ts | ||
usage: bun repl.ts
example:
➜ rlwrap bun repl.ts
>>> ((λ n.(λ f.(λ x.(f ((n f) x))))) (λ g.(λ g . (\ y.y))))
(λ g . (λ g . (λ y . y)))
>>>
| grammar.peggy | ||
| parser.js | ||
| README.md | ||
| repl.ts | ||
usage: bun repl.ts
example:
➜ rlwrap bun repl.ts
>>> ((λ n.(λ f.(λ x.(f ((n f) x))))) (λ g.(λ g . (\ y.y))))
(λ g . (λ g . (λ y . y)))
>>>