From bcb3661821a53694aec3ee1429fbdc5bce11c95f Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sun, 19 Dec 2021 19:00:24 +0900 Subject: Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index f38a75c..0ca8125 100644 --- a/README.md +++ b/README.md @@ -31,7 +31,7 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri -### Contents +## Contents - [Getting Started](#getting-started) -- cgit v1.2.3