Agda.Termination.Semiring

class HasZero a

class SemiRing a

data Semiring a

semiringInvariant

integerSemiring

boolSemiring

tests