diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-04-16 21:48:38 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-04-16 21:48:38 +0900 |
| commit | a436d5f03be557ac0a2ea1e4c3d08f5107a5ecbe (patch) | |
| tree | 1b3c0eca15dcd5b6ee7e6f2cba888b5073e5ebf6 /README.md | |
| parent | 23b8283047bc2b866e5edc3c3852ff0bf461a587 (diff) | |
| download | inpla-a436d5f03be557ac0a2ea1e4c3d08f5107a5ecbe.tar.gz inpla-a436d5f03be557ac0a2ea1e4c3d08f5107a5ecbe.zip | |
Update README.md
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -23,7 +23,7 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri - The above table contains execution time in second on average of ten times execution by using Linux PC (Core i7-9700 (8 threads, no Hyper-threading), 16GB memory). The fastest one is shown with bold style. Scripts for the comparison table are in the `comparison` directory. - - Inpla8 and Inpla8r mean 8 threads without/with reuse-annotated execution, respectively. + - Inpla8 and Inpla8r mean 8 threads without/with [reuse-annotated](#Reuse-annotations) execution, respectively. - "ack(3,11)" is computation of Ackermann function. Execution time of Python is a blank due to stack size limitation error. |