lambda-calculus-interpreter/README.md

10 lines
160 B
Markdown
Raw Permalink Normal View History

2024-02-13 21:57:27 -05:00
usage: `bun repl.ts`
2024-02-13 21:59:06 -05:00
example:
```
➜ rlwrap bun repl.ts
>>> ((λ n.(λ f.(λ x.(f ((n f) x))))) (λ g.(λ g . (\ y.y))))
(λ g . (λ g . (λ y . y)))
>>>
```