From 19242b86fdbf6bfab11134771272f75a0815896e Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sat, 30 Oct 2021 11:30:40 +0900 Subject: Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 23fd374..2f867bb 100644 --- a/README.md +++ b/README.md @@ -108,7 +108,7 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri The last line is also written by the abbreviation naturally: ``` - | _ => cnt1 << fib(n-1), cnt2 << fib(n-2), ret << Add(cnt1,cnt2); + | _ => cnt1<