diff options
| author | Elizabeth Hunt <elizabeth.hunt@simponic.xyz> | 2024-02-13 19:59:06 -0700 |
|---|---|---|
| committer | Elizabeth Hunt <elizabeth.hunt@simponic.xyz> | 2024-02-13 19:59:06 -0700 |
| commit | 7d5778ac2c412a05262787c79a2ec7308369c4f1 (patch) | |
| tree | f7da370d258fbe40b592dcaccf46d1a5162505fe | |
| parent | 36834bb8f64de5e6e4d16553172ef7c75fc5fc4c (diff) | |
| download | lambda-calculus-interpreter-7d5778ac2c412a05262787c79a2ec7308369c4f1.tar.gz lambda-calculus-interpreter-7d5778ac2c412a05262787c79a2ec7308369c4f1.zip | |
| -rw-r--r-- | README.md | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -1 +1,9 @@ usage: `bun repl.ts` + +example: +``` +➜ rlwrap bun repl.ts +>>> ((λ n.(λ f.(λ x.(f ((n f) x))))) (λ g.(λ g . (\ y.y)))) +(λ g . (λ g . (λ y . y))) +>>> +``` |