search

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

[Do Not Merge] Split Sorting into multiple files #10

Closed HarrisonGrodin closed 3 years ago

HarrisonGrodin commented 3 years ago

Blocked by agda/agda#5451.

HarrisonGrodin commented 3 years ago

Superseded by #29.