Skip to content

chore: avoid Coe.coe in Data.Multiset.Functor #133303

chore: avoid Coe.coe in Data.Multiset.Functor

chore: avoid Coe.coe in Data.Multiset.Functor #133303

Annotations

1 warning

Post-CI job

succeeded Oct 19, 2024 in 11s