From e607a57dfafb784c4e27da143214afb2ccd07fbf Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Fri, 22 Oct 2021 19:04:51 +0900 Subject: Update README.md --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 073cdf8..053f67c 100644 --- a/README.md +++ b/README.md @@ -387,8 +387,8 @@ Let's clean the result in case it could be used anywhere: ![add1](pic/add1.png) ``` -add(ret, x) >< Z => ret~x; -add(ret, x) >< S(y) => add(ret, S(x))~y; + add(ret, x) >< Z => ret~x; + add(ret, x) >< S(y) => add(ret, S(x))~y; ``` The following is an execution example: ``` -- cgit v1.2.3