Skip to content

Use Set.member instead of Foldable.elem#4128

Merged
jhrcek merged 1 commit intomasterfrom
jhrcek/set-map-singleton-member
Mar 10, 2024

Commits

Commits on Mar 10, 2024