Agda-2.2.10: A dependently typed functional programming language and proof assistant

Agda.Utils.SemiRing

Documentation

class SemiRing a where

Methods

oplus :: a -> a -> a

otimes :: a -> a -> a