From 3b42f83d98ba95ce2d3baa3fe165409d0ad46388 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 23:09:38 +0900 Subject: Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index ea0e7a4..ace4fd1 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ -## ![inpla-logo](pic/inpla-logo-60x60.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