issues
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
Fracture program inequality into extensional equality and cost bound
#49
Open
HarrisonGrodin
opened
1 year ago