[bg] add Okasaki data structures
- all queues: batched, bankers, physicists, hood-melvile, bootstrapped, implicit - deques: bankers, simple catenable - random access lists: binary, skew, alt binary - upcoming: heaps, sets, finite maps - excluded: catenable lists and deques
This commit is contained in:
parent
26a2699d48
commit
0bd1962650
1656
tapl/tests/mlish/bg/okasaki.mlish
Normal file
1656
tapl/tests/mlish/bg/okasaki.mlish
Normal file
File diff suppressed because it is too large
Load Diff
Loading…
Reference in New Issue
Block a user