From 76a2b7e03fb5c5d76525a1371232210c8927c596 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sun, 19 Dec 2021 18:58:39 +0900 Subject: Update README.md --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index c139172..f38a75c 100644 --- a/README.md +++ b/README.md @@ -277,11 +277,11 @@ Options: # Introduction to Programming in Inpla #### Contents -- [Nets: terms and connections](#nets:-terms-and-connections) +- [Nets: terms and connections](#nets-terms-and-connections) - [Interaction rules](#interaction-rules) - - [Example: Operations on unary natural numbers](#example:-operations-on-unary-natural-numbers) + - [Example: Operations on unary natural numbers](#example-operations-on-unary-natural-numbers) - [Built-in Agents](#built-in-agents) -- [Attributes (integers)](#attributes-(integers)) +- [Attributes (integers)](#attributes-integers) - [Arithmetic expressions on attributes](#arithmetic-expressions-on-attributes) - [Interaction rules with expressions on attributes](#interaction-rules-with-expressions-on-attributes) - [Built-in rules of attributes in the anonymous agents](#built-in-rules-of-attributes-in-the-anonymous-agents) -- cgit v1.2.3