summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterAdd newtype to weight-biased leftist heap.Jared Tobin7 weeks
 
 
AgeCommit messageAuthorFilesLines
2023-04-07Add newtype to weight-biased leftist heap.HEADmasterJared Tobin2-17/+66
2023-04-07Add newtype to leftist heap.Jared Tobin2-55/+90
2023-04-06Bin heap Show derivation.Jared Tobin1-0/+1
2023-04-06Generics work.Jared Tobin1-11/+54
2023-04-05Remove unused deps.Jared Tobin1-2/+0
2023-04-05Heap class skeleton.Jared Tobin3-1/+19
2023-04-05Remove redundant binomial heap rank info.Jared Tobin1-21/+28
2023-04-05Misc additions to binomial heaps.Jared Tobin1-39/+49
2023-04-02Use top-down cata for bin heap insert.Jared Tobin2-27/+49
2023-03-31Miscellaneous additions.Jared Tobin5-10/+265
[...]
 
Clone
git://git.jtobin.io/okasaki.git