Replace standard list sort with better sort
Open
basis extensions
- Dominant language
- Standard ML
- Stars
- 1.2k
- Forks
- 104
- Avg merge
- 2d 21h
- Merged PRs (30d)
- 16
Description
The default list sort has quadratic behavior on sorted (or nearly sorted) lists because it picks the pivot from the head of the list.
This issue is about potentially replacing:
https://github.com/CakeML/cakeml/blob/master/basis/ListProgScript.sml#L405
with the "OCaml-inspired" mergesort available in HOL.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.