From 49960d8950d001a372a0abde670a66ee60026957 Mon Sep 17 00:00:00 2001
From: Shinya Sato <shinnya.sato@gmail.com>
Date: Tue, 5 Mar 2024 18:19:27 +0900
Subject: v0.12.0

---
 sample/msort.in | 28 ----------------------------
 1 file changed, 28 deletions(-)
 delete mode 100644 sample/msort.in

(limited to 'sample/msort.in')

diff --git a/sample/msort.in b/sample/msort.in
deleted file mode 100644
index 599990b..0000000
--- a/sample/msort.in
+++ /dev/null
@@ -1,28 +0,0 @@
-// Merge sort
-
-// Rules
-msort(ret) >< [] => ret~[];
-msort(ret) >< x:xs => ms_tail(ret, x)~xs;
-
-ms_tail(ret, n) >< [] => ret~[n];
-ms_tail(ret, n) >< x:xs => 
-	split(left,right) ~ (n:x:xs),
-	msort(a)~left, msort(b)~right, merge(ret,b)~a;
-
-merge(ret, snd) >< [] => ret~snd;
-merge(ret, snd) >< x:xs => mergeCC(ret, x, xs)~snd;
-
-mergeCC(ret, int y, ys) >< [] => ret~(y:ys);
-mergeCC(ret, int y, ys) >< (int x):xs
-| x <= y => ret~(x:cnt), mergeCC(cnt, y, ys) ~ xs
-| _      => ret~(y:cnt), mergeCC(cnt, x, xs) ~ ys;
-
-
-split(right,left) >< [] => right~[], left~[];
-split(right,left) >< x:xs =>
-	right~(x:cntl), left~cntr, split(cntr,cntl)~xs;
-
-
-// Nets
-msort(ret)~[3,6,1,9,2];
-ret;
\ No newline at end of file
-- 
cgit v1.2.3