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/sort/isort.in | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 sample/sort/isort.in

(limited to 'sample/sort/isort.in')

diff --git a/sample/sort/isort.in b/sample/sort/isort.in
new file mode 100644
index 0000000..e637055
--- /dev/null
+++ b/sample/sort/isort.in
@@ -0,0 +1,15 @@
+// Insertion sort
+
+// Rules
+isort(ret) >< [] => ret~[];
+isort(ret) >< x:xs => insert(ret, x)~cnt, isort(cnt)~xs;
+
+insert(ret, int x) >< [] => ret~[x];
+insert(ret, int x) >< (int y):ys
+| x<=y => ret~(x:y:ys)
+| _    => ret~(y:cnt), insert(cnt, x)~ys;
+
+
+// Nets
+isort(r)~[3,6,1,9,2];
+r;
-- 
cgit v1.2.3