okasaki

Okasaki's Purely Functional Data Structures
git clone git://git.jtobin.io/okasaki.git
Log | Files | Refs | LICENSE

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