search

agda / cubical

An experimental library for Cubical Agda
https://agda.github.io/cubical/Cubical.README.html
Other
447 stars 136 forks source link

Ordering over Int #985

Closed LuuBluum closed 1 year ago

LuuBluum commented 1 year ago

Defines an ordering over the integers, with the basic expected properties.

felixwellen commented 1 year ago

Yes. It has been around for a while, so we should be ready to revert if it fails.

mortberg commented 1 year ago

Yes. It has been around for a while, so we should be ready to revert if it fails.

I made a trivial change that triggered the check again. If it passes let's merge

LuuBluum commented 1 year ago

Oh yeah, I totally forgot I even made this PR.