From 46e7f499869bf85ff44b09d2fef50ef4296cbf05 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Fri, 29 Oct 2021 01:44:18 +0900 Subject: Update README.md --- README.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index f80fe24..488d8f3 100644 --- a/README.md +++ b/README.md @@ -218,11 +218,13 @@ $ make thread // Rules qsort(ret) >< [] => ret~[]; qsort(ret) >< (int x):xs => - Append(ret, x:right)~left, part(smaller, larger, x)~xs, + ret << Append(left, x:right), part(smaller, larger, x)~xs, 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 + // The ret << Append(left, x:right) is rewritten by the built-in abrreviation as: + // Append(ret, x:right)~left. part(smaller, larger, int x) >< [] => smaller~[], larger~[]; part(smaller, larger, int x) >< (int y):ys -- cgit v1.2.3