Skip to content

[fixes #1711] Refactoring Data.Nat.Divisibility and Data.Nat.DivMod#2182

Merged
MatthewDaggitt merged 91 commits into
agda:masterfrom
jamesmckinna:issue1711
Dec 14, 2023
Merged

[fixes #1711] Refactoring Data.Nat.Divisibility and Data.Nat.DivMod#2182
MatthewDaggitt merged 91 commits into
agda:masterfrom
jamesmckinna:issue1711

Merge branch 'master' into issue1711

b6f2ada
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs