2023-04-07 11:15 | Add newtype to weight-biased leftist heap. | Jared Tobin | 2 | +66 | -17 |
2023-04-07 11:06 | Add newtype to leftist heap. | Jared Tobin | 2 | +90 | -55 |
2023-04-06 18:16 | Bin heap Show derivation. | Jared Tobin | 1 | +1 | -0 |
2023-04-06 14:31 | Generics work. | Jared Tobin | 1 | +54 | -11 |
2023-04-05 18:14 | Remove unused deps. | Jared Tobin | 1 | +0 | -2 |
2023-04-05 18:10 | Heap class skeleton. | Jared Tobin | 3 | +19 | -1 |
2023-04-05 17:28 | Remove redundant binomial heap rank info. | Jared Tobin | 1 | +28 | -21 |
2023-04-05 16:52 | Misc additions to binomial heaps. | Jared Tobin | 1 | +49 | -39 |
2023-04-02 15:02 | Use top-down cata for bin heap insert. | Jared Tobin | 2 | +49 | -27 |
2023-03-31 05:14 | Miscellaneous additions. | Jared Tobin | 5 | +265 | -10 |
2023-03-23 09:01 | Add binomial heap skeleton. | Jared Tobin | 2 | +45 | -1 |
2023-03-15 15:22 | Use generic monoidal unit. | Jared Tobin | 2 | +4 | -4 |
2023-03-15 15:20 | Clean up stale pragmas. | Jared Tobin | 2 | +0 | -7 |
2023-03-15 05:31 | Verify right spine length properties. | Jared Tobin | 3 | +40 | -5 |
2023-03-15 05:16 | Generate bigger weight-biased leftist heaps. | Jared Tobin | 1 | +1 | -1 |
2023-03-15 04:49 | Tasty test harness. | Jared Tobin | 4 | +57 | -14 |
2023-03-14 19:32 | Add property tests. | Jared Tobin | 9 | +202 | -8 |
2023-03-14 13:05 | Add weight-biased leftist heap. | Jared Tobin | 3 | +140 | -31 |
2023-03-13 16:39 | Additions re: leftist heaps. | Jared Tobin | 1 | +45 | -14 |
2023-03-09 16:18 | Misc bunch of stuff. | Jared Tobin | 6 | +296 | -17 |
2023-03-05 17:24 | Add maps. | Jared Tobin | 4 | +104 | -30 |
2023-03-04 19:14 | Cosmetic tweaks. | Jared Tobin | 3 | +9 | -9 |
2023-03-04 19:00 | Use CPS to avoid copying. | Jared Tobin | 1 | +0 | -36 |
2023-03-04 18:59 | Tons of misc stuff. | Jared Tobin | 5 | +405 | -58 |
2022-12-10 20:13 | Better nixification. | Jared Tobin | 6 | +40 | -3 |
2022-12-10 20:12 | Kill stack. | Jared Tobin | 2 | +0 | -17 |
2020-05-27 16:29 | Cleaning some stuff up. | Jared Tobin | 20 | +234 | -187 |
2018-05-24 23:53 | Less fix. | Jared Tobin | 1 | +9 | -9 |
2018-05-24 23:50 | Mucking about with recursion schemes. | Jared Tobin | 1 | +87 | -0 |
2017-05-11 08:01 | Simplify type signature. | Jared Tobin | 1 | +1 | -12 |
2017-05-11 08:00 | Recursion schemes for fun. | Jared Tobin | 2 | +140 | -13 |
2014-11-28 06:15 | Splay heap start. | Jared Tobin | 1 | +24 | -0 |
2014-11-27 08:06 | Dequeue work. | Jared Tobin | 3 | +63 | -0 |
2014-11-23 08:48 | Queue work. | Jared Tobin | 1 | +34 | -0 |
2014-11-23 08:26 | RB trees. | Jared Tobin | 1 | +83 | -4 |
2014-11-22 09:15 | Red-black trees. | Jared Tobin | 1 | +58 | -0 |
2014-11-22 08:42 | Moar heap work. | Jared Tobin | 3 | +141 | -3 |
2014-11-22 03:23 | WBLH work. | Jared Tobin | 1 | +63 | -0 |
2014-11-21 09:50 | Add binomial heap. | Jared Tobin | 2 | +56 | -2 |
2014-11-21 08:20 | Add alternate fromList. | Jared Tobin | 1 | +19 | -0 |
2014-11-20 10:41 | Polish. | Jared Tobin | 1 | +8 | -9 |
2014-11-20 10:38 | Re-use create. | Jared Tobin | 1 | +9 | -11 |
2014-11-20 10:33 | Fix annoying spaces. | Jared Tobin | 1 | +1 | -1 |
2014-11-20 10:31 | Some work on leftist heaps. | Jared Tobin | 3 | +112 | -33 |
2014-11-19 10:14 | Misc. | Jared Tobin | 5 | +48 | -12 |
2014-11-19 09:51 | Initial commit. | Jared Tobin | 2 | +177 | -0 |