diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-19 19:09:16 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-19 19:09:16 +0900 |
| commit | 92736cd1e438f89a94259177a742110856ce8f71 (patch) | |
| tree | 1414c7112fbef17e507dd600f1443d69698623ff /README.md | |
| parent | bcb3661821a53694aec3ee1429fbdc5bce11c95f (diff) | |
| download | inpla-92736cd1e438f89a94259177a742110856ce8f71.tar.gz inpla-92736cd1e438f89a94259177a742110856ce8f71.zip | |
Update README.md
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 22 |
1 files changed, 9 insertions, 13 deletions
@@ -32,19 +32,15 @@ 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) - -- [Introduction to Programming in Inpla](#introduction-to-programming-in-inpla) -- [Commands](#commands) -- [Updates](#updates) +* [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) +* [Introduction to Programming in Inpla](#introduction-to-programming-in-inpla) +* [Commands](#commands) +* [Updates](#updates) |