From 21e5e535a5a5e11f4f2096b8d7dbbb7703c7605e Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 31 Jan 2022 15:36:58 +0900 Subject: Update README.md --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index 4ae1e7b..eb69c34 100644 --- a/README.md +++ b/README.md @@ -73,7 +73,7 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri ``` $ ./inpla - Inpla 0.6.1 : Interaction nets as a programming language [built: 12 Jan. 2022] + Inpla 0.7.0 : Interaction nets as a programming language [built: 30 Jan. 2022] >>> ``` @@ -130,7 +130,7 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri ``` $ ./inpla -f sample/gcd.in - Inpla 0.6.1 : Interaction nets as a programming language [built: 12 Jan. 2022] + Inpla 0.7.0 : Interaction nets as a programming language [built: 30 Jan. 2022] (4 interactions, 0.00 sec) 7 @@ -259,7 +259,7 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri ``` $ ./inpla -h - Inpla version 0.6.1 + Inpla version 0.7.0 Usage: inpla [options] Options: -- cgit v1.2.3