From 8b6cf5aa982859035c015c95f31e989add9af238 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Thu, 28 Oct 2021 16:45:31 +0900 Subject: Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 43fed48..04a1f5c 100644 --- a/README.md +++ b/README.md @@ -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 -- cgit v1.2.3