[ refactor ] Change definition of `Data.Nat.Base._≤′_`#2523

Merged

JacquesCarette merged 4 commits intoagda:masterfrom jamesmckinna:issue2519

Dec 28, 2024

+7-5

Commits on Dec 16, 2024

refactor in line with agda#2504 / agda#2519
jamesmckinna
committed

Commits on Dec 18, 2024

Commits on Dec 24, 2024

refactor: redefine pattern synonym
jamesmckinna
committed