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
Merged

Use Set.member instead of Foldable.elem#4128
jhrcek merged 1 commit intomasterfrom
jhrcek/set-map-singleton-member

Commits

Commits on Mar 10, 2024