batteries icon indicating copy to clipboard operation
batteries copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat: merging functions on List + mergeSort

Open digama0 opened this issue 1 year ago • 0 comments

Complement to #762. Adds List version of all the definitions in Data.Array.Merge. Also adds List.mergeSort (upstreamed from mathlib), as a replacement for Array.qsort on lists (because qsort cannot easily be expressed as is).

digama0 avatar Apr 23 '24 04:04 digama0