aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2021-12-19 20:27:18 +0900
committerShinya Sato <shinnya.sato@gmail.com>2021-12-19 20:27:18 +0900
commit8ac973378341a72e3fabeb6f093c3d8fee41124f (patch)
tree6da2611eb22954047b54eefad505a475c34f31c4 /README.md
parent5eb851b0dbb87c23c01ffde521a9863b44a685af (diff)
downloadinpla-8ac973378341a72e3fabeb6f093c3d8fee41124f.tar.gz
inpla-8ac973378341a72e3fabeb6f093c3d8fee41124f.zip
Update README.md
Diffstat (limited to 'README.md')
-rw-r--r--README.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/README.md b/README.md
index c91f9bf..b1fd8e2 100644
--- a/README.md
+++ b/README.md
@@ -45,10 +45,10 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri
## Getting Started
-* Requirement
+* Requirement
- gcc (>= 4.0), flex, bison
-* Build
+* Build
- Single-thread version: Use `make` command as follows (the symbol `$` means a shell prompt):
```