From 0533d4c965bc09102b698fdbb395bfe9315505a7 Mon Sep 17 00:00:00 2001
From: Shinya Sato <shinnya.sato@gmail.com>
Date: Tue, 19 Oct 2021 23:21:49 +0900
Subject: Update README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3