Andreas Kling
686ade6b5a
AK: Make quick_sort() a little more ergonomic
...
Now it actually defaults to "a < b" comparison, instead of forcing you
to provide a trivial less-than comparator. Also you can pass in any
collection type that has .begin() and .end() and we'll sort it for you.
2020-03-03 16:02:58 +01:00
..
2020-03-02 14:24:25 +01:00
2020-02-09 19:38:17 +01:00
2020-01-18 09:45:54 +01:00
2020-01-18 09:45:54 +01:00
2020-01-19 13:29:59 +01:00
2020-03-02 09:50:22 +01:00
2020-02-20 13:20:34 +01:00
2020-02-20 13:20:34 +01:00
2020-03-02 09:50:43 +01:00
2020-02-26 15:22:45 +01:00
2020-02-21 18:54:57 +01:00
2020-01-18 09:45:54 +01:00
2020-01-18 09:45:54 +01:00
2020-02-25 14:52:35 +01:00
2020-02-14 23:31:18 +01:00
2020-02-18 11:35:47 +01:00
2020-02-25 14:52:35 +01:00
2019-05-28 17:31:20 +02:00
2020-02-25 15:37:07 +01:00
2020-02-24 09:42:52 +01:00
2020-02-27 10:21:13 +01:00
2020-01-18 09:45:54 +01:00
2020-01-18 09:45:54 +01:00
2020-01-18 09:45:54 +01:00
2020-02-14 23:31:18 +01:00
2020-02-14 23:31:18 +01:00
2020-01-18 09:45:54 +01:00
2020-01-18 09:45:54 +01:00
2020-01-24 15:15:16 +01:00
2020-02-09 19:38:17 +01:00
2020-02-08 02:48:27 +01:00
2020-03-01 12:58:22 +01:00
2020-01-18 09:45:54 +01:00
2020-02-09 19:38:17 +01:00
2020-02-14 23:31:18 +01:00
2020-02-25 15:58:24 +01:00
2020-02-15 19:18:56 +01:00
2020-03-02 22:23:39 +01:00
2020-03-02 22:23:39 +01:00
2019-12-20 20:20:54 +01:00
2020-01-18 09:45:54 +01:00
2020-01-18 09:45:54 +01:00
2020-02-19 16:08:28 +01:00
2020-02-16 09:32:18 +01:00
2020-01-18 09:45:54 +01:00
2020-02-10 11:55:34 +01:00
2020-01-18 09:45:54 +01:00
2020-01-18 09:45:54 +01:00
2020-01-23 15:14:21 +01:00
2020-01-18 09:45:54 +01:00
2020-02-24 10:22:27 +01:00
2020-02-25 15:32:58 +01:00
2020-02-19 16:08:28 +01:00
2020-02-19 23:02:15 +01:00
2020-02-25 14:55:04 +01:00
2020-03-03 16:02:58 +01:00
2020-02-09 19:38:17 +01:00
2020-02-25 15:32:58 +01:00
2020-01-18 09:45:54 +01:00
2020-01-18 09:45:54 +01:00
2020-01-18 09:45:54 +01:00
2020-02-28 12:55:58 +01:00
2020-02-28 12:55:58 +01:00
2020-02-27 10:21:13 +01:00
2020-02-09 19:38:17 +01:00
2020-03-02 14:19:33 +01:00
2020-03-02 14:19:33 +01:00
2020-03-01 12:58:22 +01:00
2020-02-22 21:36:54 +01:00
2020-02-25 15:58:24 +01:00
2020-01-18 09:45:54 +01:00
2020-03-02 14:23:11 +01:00
2020-03-02 14:23:11 +01:00
2020-03-02 14:19:33 +01:00
2020-03-02 14:19:33 +01:00
2020-01-18 09:45:54 +01:00
2020-03-02 10:38:08 +01:00
2020-01-18 09:45:54 +01:00
2020-02-16 02:01:18 +01:00
2020-02-05 18:39:45 +01:00
2020-02-25 14:52:35 +01:00
2020-01-18 09:45:54 +01:00
2020-02-25 10:18:46 +01:00
2020-01-24 15:15:16 +01:00
2020-02-25 14:52:35 +01:00
2020-02-15 14:49:57 +01:00
2020-01-25 10:34:32 +01:00