Prove merge sort cost - Githubissues

jonsterling / agda-calf

A cost-aware logical framework, embedded in Agda.

https://jonsterling.github.io/agda-calf/

Apache License 2.0

55 stars 2 forks source link

Prove merge sort cost #6

Closed HarrisonGrodin closed 3 years ago

HarrisonGrodin commented 3 years ago

[x] split/length
[X] split cost
[x] merge/length
[X] merge cost
[X] sort/length
[X] sort cost