diff options
| author | Marvin Borner | 2024-02-29 23:33:43 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-02-29 23:33:43 +0100 |
| commit | fe951a51daa805f1abb9a973bbe749888d8f9a83 (patch) | |
| tree | ff3bf1b0e39a9cba605dcd17dce26de2d7f22331 /samples/rosetta/sorting_quicksort.bruijn | |
| parent | fe0de617cddd2dee11758788c5dc9b7a1c8f330a (diff) | |
Synced samples
Diffstat (limited to 'samples/rosetta/sorting_quicksort.bruijn')
| -rw-r--r-- | samples/rosetta/sorting_quicksort.bruijn | 13 |
1 files changed, 13 insertions, 0 deletions
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]] |