From b10fccefe9a6435328ff9d554995fb5710f74f26 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sat, 17 Sep 2022 22:25:32 +0900 Subject: v0.10.0 --- comparison/Inpla/src/bsort-20000.in | 10 ---------- 1 file changed, 10 deletions(-) (limited to 'comparison/Inpla/src/bsort-20000.in') diff --git a/comparison/Inpla/src/bsort-20000.in b/comparison/Inpla/src/bsort-20000.in index e012bc6..8beb835 100644 --- a/comparison/Inpla/src/bsort-20000.in +++ b/comparison/Inpla/src/bsort-20000.in @@ -1,15 +1,5 @@ // Bubble sort with the same algorithm as others -/* -// length -length_(r,n) >< [] => r~n; -length_(r,int n) >< (int x):xs => length_(r,n+1)~xs; - -length(r) >< [] => r~0; -length(r) >< x:xs => length_(r,0) ~ x:xs; -*/ - - // stream length len_stream_(len, list, int ct) >< [] => len~ct, list~[]; len_stream_(len, list, int ct) >< x:xs => -- cgit v1.2.3