Agda.Termination.Semiring

class HasZero a

class SemiRing a

data Semiring a

semiringInvariant

integerSemiring

intSemiring

boolSemiring

tests