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

Make `meta` positive #36

Closed HarrisonGrodin closed 1 year ago

HarrisonGrodin commented 1 year ago

(Creating draft PR before deleting the now-stale branch; related work on 22bb5777b509a6110dbec5e5972d092a2848619e.)