diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-19 19:11:11 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-19 19:11:11 +0900 |
| commit | db2240c86060af5a926a634b9ea5c59a37fe01af (patch) | |
| tree | cb22fb400a107dd96c7facc5d359f9929d07a25a /README.md | |
| parent | 92736cd1e438f89a94259177a742110856ce8f71 (diff) | |
| download | inpla-db2240c86060af5a926a634b9ea5c59a37fe01af.tar.gz inpla-db2240c86060af5a926a634b9ea5c59a37fe01af.zip | |
Update README.md
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -34,10 +34,10 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri ## Contents * [Getting Started](#getting-started) * [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) - [Batch mode and sample files](#batch-mode-and-sample-files) - [Execution Options](#execution-options) + - [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) * [Introduction to Programming in Inpla](#introduction-to-programming-in-inpla) * [Commands](#commands) * [Updates](#updates) |