From 2afa41a1ad5a8647332b949897e1a50c985b660f Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 22:38:14 +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 1ab9da7..ea0e7a4 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ -## What is Inpla +## ![inpla-logo](pic/inpla-logo-60x60.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 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(-) (limited to 'README.md') 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 From 06e7cbc50c7eb81c8b80ddf4da958d5c273125e4 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 23:14:30 +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 ace4fd1..f0aeaf9 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# Inpla: Interaction nets as a programming language +# Inpla: Interaction nets as a programming language -- cgit v1.2.3 From de7c21214468b377dfd0e9cb92ff6edafaa1c815 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 23:20:17 +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 f0aeaf9..4a23a30 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ -## ![inpla-logo](pic/inpla-logo-40x40.png) What is Inpla +## ![inpla-logo](pic/inpla-logo-30x30.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 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 From 8b20989a0da155e105b006a120adebb59c5249b3 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 23:25:08 +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 f0aeaf9..c5e0c4c 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ -## ![inpla-logo](pic/inpla-logo-40x40.png) What is Inpla +## 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