diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-19 18:57:11 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-19 18:57:11 +0900 |
| commit | 04727adc9741a876d18e5101acb31bc6032fe108 (patch) | |
| tree | 6184e6276f0d731109e3fb4ccff3a1098d842833 /README.md | |
| parent | f2c8d1369f0d5cb73295ae18a23875960e92930c (diff) | |
| download | inpla-04727adc9741a876d18e5101acb31bc6032fe108.tar.gz inpla-04727adc9741a876d18e5101acb31bc6032fe108.zip | |
Update README.md
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -37,8 +37,8 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri - [How to Execute](#how-to-execute) - - [Interactive mode (single-thread version)](#interactive-mode-(single-thread-version)) - - [Interactive mode (multi-thread version)](#interactive-mode-(multi-thread-version)) + - [Interactive mode (single-thread version)](#interactive-mode-single-thread-version) + - [Interactive mode (multi-thread version)](#interactive-mode-multi-thread-version) - [Batch mode and sample files](#batch-mode-and-sample-files) - [Execution Options](#execution-options) |