Clean up `ub` - Githubissues

jonsterling / agda-calf

A cost-aware logical framework, embedded in Agda.

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

Apache License 2.0

54 stars 4 forks source link

Closed HarrisonGrodin closed 3 years ago

HarrisonGrodin commented 3 years ago

HarrisonGrodin commented 3 years ago

@kaonn Does the second change sound good to you?

kaonn commented 3 years ago

Fine with me!

kaonn commented 3 years ago

Although I'd suggest the module name "Bounded".