Replace step' with step

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

Finally possible, thanks to f407ed621059bb64c5f5a4c7384d832effb265f6.