Clean up Sorting - 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

Closed HarrisonGrodin closed 3 years ago

HarrisonGrodin commented 3 years ago

[x] Factor out Log2
[x] Factor out Square/PredExp2, propagate to other places (e.g. InsertionSort, Exp2 example)
[x] Factor out Comparable, Core, SortEquivalence
[x] Split sorting algorithms into separate files

kaonn commented 3 years ago

looks like Sort.pair is not imported properly in Sorting.Sequential or Sorting.Parallel?

HarrisonGrodin commented 3 years ago

Yep, just noticed and fixed in e88556c.