Skip to content

[ add ] Data.List.Fresh.Membership.DecSetoid#2914

Merged
jamesmckinna merged 1 commit intoagda:masterfrom
jkopanski:fresh-dec
Jan 26, 2026
Merged

[ add ] Data.List.Fresh.Membership.DecSetoid#2914
jamesmckinna merged 1 commit intoagda:masterfrom
jkopanski:fresh-dec

Commits

Commits on Jan 23, 2026