[ refactor ] Change definition of Data.Nat.Base._≤‴_#2518
Merged
JacquesCarette merged 4 commits intoagda:masterfrom Dec 18, 2024
Merged
[ refactor ] Change definition of `Data.Nat.Base._≤‴_`#2518JacquesCarette merged 4 commits intoagda:masterfrom
JacquesCarette merged 4 commits intoagda:masterfrom
Commits
Commits on Dec 12, 2024
- committed
- committed
- committed
- committed
