mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-10-26 14:20:59 +03:00
Update changelog regarding sortBy
This commit is contained in:
parent
b62960034b
commit
b9d76689e3
@ -1,3 +1,11 @@
|
||||
# NEXT
|
||||
|
||||
## Language changes
|
||||
|
||||
* Update the implementation of the Prelude function `sortBy` to use
|
||||
a merge sort instead of an insertion sort. This improves the both
|
||||
asymptotic and observed performance on sorting tasks.
|
||||
|
||||
# 2.12.0
|
||||
|
||||
## Language changes
|
||||
|
Loading…
Reference in New Issue
Block a user