diff options
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -31,7 +31,7 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri -### Contents +## Contents - [Getting Started](#getting-started) |
![]() |
index : inpla.git | |
| A fork of Inpla, a multi-threaded parallel interpreter of interaction nets | mirenn |
| aboutsummaryrefslogtreecommitdiff |
| -rw-r--r-- | README.md | 2 |
@@ -31,7 +31,7 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri -### Contents +## Contents - [Getting Started](#getting-started) |