congruence-relation-0.1.0.0: Decidable congruence relations for Haskell: up to you whether this is a joke

Index

CongruenceData.Congruence.Decidable