Skip to content

issues Search Results · repo:mmottl/pure-fun language:OCaml

Filter by

1 result
 (56 ms)

1 result

inmmottl/pure-fun (press backspace or delete to remove)

mmottl/pure-fun
Add a better lazy binomial heap

Okasaki s lazy binomial heaps have good amortized bounds, but extraction is linear in the worst case. It s quite easy to make all operations worst-case logarithmic by representing the spine as a stream ...
  • treeowl
  • 3
  • Opened 
    on Dec 7, 2020
  • #1
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Restrict your search to the title by using the in:title qualifier.
Issue search results · GitHub