diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-07-21 14:56:47 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-07-21 14:56:47 +0900 |
| commit | 1f51c41a32e190d483ff336c34eb63acda27cbb6 (patch) | |
| tree | 3632b01a2caa682c45962fad114f7b7504ea2c1f | |
| parent | 363306bc8d210e3abe06fad31a6e33f7f7c5da98 (diff) | |
| download | inpla-1f51c41a32e190d483ff336c34eb63acda27cbb6.tar.gz inpla-1f51c41a32e190d483ff336c34eb63acda27cbb6.zip | |
Update README.md
Diffstat (limited to '')
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -30,7 +30,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](#Reuse-annotations) execution, respectively. + - Inpla8 and Inpla8r mean 8 threads without/with [reuse-annotated](./Gentle_introduction_Inpla.md#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. |