Refactoring (inversion) properties of _<_ on Nat, plus consequences#2000
Merged
MatthewDaggitt merged 87 commits intoagda:masterfrom Oct 12, 2023
Merged
Refactoring (inversion) properties of `_<_` on `Nat`, plus consequences#2000MatthewDaggitt merged 87 commits intoagda:masterfrom
MatthewDaggitt merged 87 commits intoagda:masterfrom
Commits
Commits on Jun 21, 2023
Commits on Jun 22, 2023
Commits on Jun 23, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jun 24, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jun 25, 2023
Commits on Jun 28, 2023
Commits on Jun 29, 2023
Commits on Aug 11, 2023
Commits on Aug 16, 2023
Commits on Sep 29, 2023
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 4, 2023
Commits on Oct 5, 2023
- authored
- committed
- committed
- committed
- committed
- committed
Commits on Oct 6, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- committed
- committed