diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-10-24 23:34:46 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-10-24 23:34:46 +0900 |
| commit | bfebad7c99077a359024043e54a5dd87895af35f (patch) | |
| tree | aeacc0513ee8eef013e1861bec84886357ba8ff1 | |
| parent | 40767523ee76aed31bf0c87d7f3a8ed32ee230f7 (diff) | |
| download | inpla-bfebad7c99077a359024043e54a5dd87895af35f.tar.gz inpla-bfebad7c99077a359024043e54a5dd87895af35f.zip | |
Update qsort.in
| -rw-r--r-- | sample/qsort.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/sample/qsort.in b/sample/qsort.in index 1582213..523d7d8 100644 --- a/sample/qsort.in +++ b/sample/qsort.in @@ -7,14 +7,13 @@ qsort(ret) >< (int 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) part(smaller, larger, int x) >< [] => smaller~[], larger~[]; part(smaller, larger, int x) >< (int y):ys | y<x => smaller~(y:cnt), part(cnt, larger, x)~ys | _ => larger~(y:cnt), part(smaller, cnt, x)~ys; - // Nets qsort(ret)~[3,6,1,9,2]; ret;
\ No newline at end of file |