12345678910111213141516-------------------------------------------------------------------------- The Agda standard library---- Definitions of algebraic structures like monoids and rings-- (packed in records together with sets, operations, etc.)------------------------------------------------------------------------ {-# OPTIONS --cubical-compatible --safe #-} module Algebra where open import Algebra.Core publicopen import Algebra.Definitions publicopen import Algebra.Structures publicopen import Algebra.Structures.Biased publicopen import Algebra.Bundles public