diff options
Diffstat (limited to 'sample/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 |