diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-01-31 15:37:13 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-01-31 15:37:13 +0900 |
| commit | 94a7a241e3cc247781fc3572635e56573198bb76 (patch) | |
| tree | 9ed341d944b59da13c01cf4485be7b5a0e2ab921 | |
| parent | 81bf6861fa11c65301a825aff9f4f45c96b68db8 (diff) | |
| parent | 21e5e535a5a5e11f4f2096b8d7dbbb7703c7605e (diff) | |
| download | inpla-94a7a241e3cc247781fc3572635e56573198bb76.tar.gz inpla-94a7a241e3cc247781fc3572635e56573198bb76.zip | |
Merge branch 'develop'
| -rw-r--r-- | README.md | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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: |