diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-10-28 16:45:31 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-10-28 16:45:31 +0900 |
| commit | 8b6cf5aa982859035c015c95f31e989add9af238 (patch) | |
| tree | bb2d74910132803b85128ebdbd7856a23406bb3b | |
| parent | 3ae6c71f1c3ce32bc40a5ab1d1e9bcedcefe85b5 (diff) | |
| download | inpla-8b6cf5aa982859035c015c95f31e989add9af238.tar.gz inpla-8b6cf5aa982859035c015c95f31e989add9af238.zip | |
Update README.md
Diffstat (limited to '')
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -197,7 +197,7 @@ $ make thread #### Other samples -- Evaluation of a lambda term `245II` in [YALE encoding](http://dl.acm.org/citation.cfm?id=289434), where `2`, `4`, `5` mean church numbers of lambda terms, respectively, and `I` is a lambda term $\lambda x.x$: +- Evaluation of a lambda term `245II` in [YALE encoding](http://dl.acm.org/citation.cfm?id=289434), where `2`, `4`, `5` mean church numbers of lambda terms, and `I` is a lambda term $\lambda x.x$: $ ./inpla -f sample/245II.in |