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

(limited to 'sample/qsort.in')

diff --git a/sample/qsort.in b/sample/qsort.in
deleted file mode 100644
index 523d7d8..0000000
--- a/sample/qsort.in
+++ /dev/null
@@ -1,19 +0,0 @@
-// Quick sort
-
-// Rules
-qsort(ret) >< [] => ret~[];
-qsort(ret) >< (int x):xs =>
-	Append(ret, x:right)~left, part(smaller, larger, x)~xs,
-	qsort(left)~smaller, qsort(right)~larger;
-
-// Note: `Append' is implemented as the following built-in agent:
-// Append(ret, b)~a  -->  ret ~ (a++b)
-
-part(smaller, larger, int x) >< [] => smaller~[], larger~[];
-part(smaller, larger, int x) >< (int y):ys
-| y<x => smaller~(y:cnt), part(cnt, larger, x)~ys
-| _   => larger~(y:cnt), part(smaller, cnt, x)~ys;
-
-// Nets
-qsort(ret)~[3,6,1,9,2];
-ret;
\ No newline at end of file
-- 
cgit v1.2.3