diff options
Diffstat (limited to 'comparison/Inpla/src/qsort-800000.in')
| -rw-r--r-- | comparison/Inpla/src/qsort-800000.in | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/comparison/Inpla/src/qsort-800000.in b/comparison/Inpla/src/qsort-800000.in index e8913e8..8226655 100644 --- a/comparison/Inpla/src/qsort-800000.in +++ b/comparison/Inpla/src/qsort-800000.in @@ -7,9 +7,6 @@ QS(ret) >< (int x):xs => // Note: `Append' is implemented as built-in. -// Apnd(ret, a)~b --> ret ~ b@a -//Apnd(ret, a) >< [] => ret~a; -//Apnd(ret, a) >< x:xs => ret~(x:cnt), Apnd(cnt, a)~xs; Part(int x, a, b) >< [] => a~[], b~[]; Part(int x, a, b) >< (int y):ys |