Skip to content

Reconciling Data.Nat.Divisibility.Core._∣_ and Algebra.Definitions.RawMagma._∣_#2013

Merged
MatthewDaggitt merged 7 commits intoagda:masterfrom
jamesmckinna:divisibility
Jul 29, 2023
Merged

Reconciling `Data.Nat.Divisibility.Core._∣_` and `Algebra.Definitions.RawMagma._∣_`#2013
MatthewDaggitt merged 7 commits intoagda:masterfrom
jamesmckinna:divisibility

Commits