aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2021-10-19 23:21:49 +0900
committerShinya Sato <shinnya.sato@gmail.com>2021-10-19 23:21:49 +0900
commit0533d4c965bc09102b698fdbb395bfe9315505a7 (patch)
tree5c6ecf8df9451710219a94d36f729d49d4d00f44 /README.md
parent29bdfffbc104c326fbbe2c27564e9adfbe76872d (diff)
downloadinpla-0533d4c965bc09102b698fdbb395bfe9315505a7.tar.gz
inpla-0533d4c965bc09102b698fdbb395bfe9315505a7.zip
Update README.md
Diffstat (limited to 'README.md')
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index c7790fd..26a7c1e 100644
--- a/README.md
+++ b/README.md
@@ -168,7 +168,7 @@ $ make thread
qsort(left)~smaller, qsort(right)~larger;
// Note: `Append' is implemented as the following built-in agent:
- // Append(ret, b)~a --> ret ~ a@b
+ // Append(ret, b)~a --> ret ~ a++b
part(smaller, larger, int x) >< [] => smaller~[], larger~[];
part(smaller, larger, int x) >< (int y):ys