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/bsort.in | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 sample/bsort.in

(limited to 'sample/bsort.in')

diff --git a/sample/bsort.in b/sample/bsort.in
deleted file mode 100644
index 7b2e2d6..0000000
--- a/sample/bsort.in
+++ /dev/null
@@ -1,18 +0,0 @@
-// Bubble sort
-
-// Rules
-bsort(ret) >< [] => ret~[];
-bsort(ret) >< x:xs => bsort(ret)~cnt, bubble(cnt, x)~xs;
-bsort(ret) >< M(x) => ret~x;
-
-bubble(ret, int x) >< [] => ret~M([x]);
-bubble(ret, int x) >< M(w) => ret~M(x:w);
-bubble(ret, int x) >< (int y):ys
-| x<y => ret~(x:cnt), bubble(cnt, y)~ys
-| _   => ret~(y:cnt), bubble(cnt, x)~ys;
-
-
-// Nets
-bsort(r)~[3,6,1,9,2];
-r;
-
-- 
cgit v1.2.3