From d4727c13f6ac0566160a71d2d5db33e539b06abf Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 23:22:55 +0900 Subject: Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index 4a23a30..f0aeaf9 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ -## ![inpla-logo](pic/inpla-logo-30x30.png) What is Inpla +## ![inpla-logo](pic/inpla-logo-40x40.png) What is Inpla Inpla is a multi-threaded parallel interpreter of interaction nets. Once you write programs for sequential execution, it works also in multi-threaded parallel execution. Each thread is managed on each CPU-core with POSIX-thread library. -- cgit v1.2.3