diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-09-17 22:25:50 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-09-17 22:25:50 +0900 |
| commit | d90c10cd95e399dd7614df76ee06acd1bf721833 (patch) | |
| tree | 42fd557836de39d4a32a303c40f42393906a6e4c /comparison/Inpla/src/bsort-20000.in | |
| parent | 4b0da2732d7adcaa7d85db2ee329f8a52ef88c42 (diff) | |
| parent | b10fccefe9a6435328ff9d554995fb5710f74f26 (diff) | |
| download | inpla-d90c10cd95e399dd7614df76ee06acd1bf721833.tar.gz inpla-d90c10cd95e399dd7614df76ee06acd1bf721833.zip | |
Merge branch 'develop'
Diffstat (limited to 'comparison/Inpla/src/bsort-20000.in')
| -rw-r--r-- | comparison/Inpla/src/bsort-20000.in | 10 |
1 files changed, 0 insertions, 10 deletions
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 => |