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

Safe HaskellSafe-Infered

Agda.Utils.SemiRing

Documentation

class SemiRing a where

Methods

oplus :: a -> a -> a

otimes :: a -> a -> a