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

Safe HaskellSafe-Infered

Agda.Utils.SemiRing

Documentation

class SemiRing a whereSource

Methods

oplus :: a -> a -> aSource

otimes :: a -> a -> aSource

Instances