From 2de302bcb3fa7e12c83a58909232a527c4d5372e Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Wed, 27 Apr 2022 16:58:17 +0900 Subject: Remove redundant letters --- comparison/Inpla/src/qsort-800000-reuse.in | 3 --- 1 file changed, 3 deletions(-) (limited to 'comparison/Inpla/src/qsort-800000-reuse.in') diff --git a/comparison/Inpla/src/qsort-800000-reuse.in b/comparison/Inpla/src/qsort-800000-reuse.in index 8bf7a83..810e446 100644 --- a/comparison/Inpla/src/qsort-800000-reuse.in +++ b/comparison/Inpla/src/qsort-800000-reuse.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~(*L)[], b~(*R)[]; Part(int x, a, b) >< (int y):ys -- cgit v1.2.3