From fe951a51daa805f1abb9a973bbe749888d8f9a83 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 29 Feb 2024 23:33:43 +0100
Subject: Synced samples

---
 samples/rosetta/sorting_quicksort.bruijn | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 samples/rosetta/sorting_quicksort.bruijn

(limited to 'samples/rosetta/sorting_quicksort.bruijn')

diff --git a/samples/rosetta/sorting_quicksort.bruijn b/samples/rosetta/sorting_quicksort.bruijn
new file mode 100644
index 0000000..f55f128
--- /dev/null
+++ b/samples/rosetta/sorting_quicksort.bruijn
@@ -0,0 +1,13 @@
+:import std/Combinator .
+:import std/Number .
+:import std/List .
+
+sort y [[0 [[[case-sort]]] case-end]]
+	case-sort (4 lesser) ++ (2 : (4 greater))
+		lesser 1 <#> (\les? 2)
+		greater 1 <#> (\geq? 2)
+	case-end empty
+
+:test (sort ((+3) : ((+2) : {}(+1)))) ((+1) : ((+2) : {}(+3)))
+
+main [[0]]
-- 
cgit v1.2.3