Humza Shahid 174a99a5a0 switch implementation of heap from being based on heap.sml (heap as described by one of Chris Okasaki's papers) to being based on bin-vec.sml (simple vector storing elements in sorted order); more performant this way for cache reasons

2025-01-22 18:22:34 +00:00

753 B

Raw Blame History

View Raw