From db2240c86060af5a926a634b9ea5c59a37fe01af Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sun, 19 Dec 2021 19:11:11 +0900 Subject: Update README.md --- README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 7b7f9c2..f88c1c4 100644 --- a/README.md +++ b/README.md @@ -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) -- cgit v1.2.3