1 files changed, 0 insertions, 15 deletions
diff --git a/sample/isort.in b/sample/isort.in
deleted file mode 100644
index e637055..0000000
--- a/sample/isort.in
+++ /dev/null
@@ -1,15 +0,0 @@
-// 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;