@@ -19,10 +19,10 @@ |
||
| 19 | 19 | |
| 20 | 20 | $pivot = head($xss); |
| 21 | 21 | $xs = tail($xss); |
| 22 | - $left = array_filter($xs, function ($x) use ($pivot) { |
|
| 22 | + $left = array_filter($xs, function($x) use ($pivot) { |
|
| 23 | 23 | return $x < $pivot; |
| 24 | 24 | }); |
| 25 | - $right = array_filter($xs, function ($x) use ($pivot) { |
|
| 25 | + $right = array_filter($xs, function($x) use ($pivot) { |
|
| 26 | 26 | return $x > $pivot; |
| 27 | 27 | }); |
| 28 | 28 | |