------------------------------------------------------------------------
-- The Agda standard library
--
-- Definitions of algebraic structures like monoids and rings
-- (packed in records together with sets, operations, etc.)
------------------------------------------------------------------------

{-# OPTIONS --without-K --safe #-}

module Algebra where

open import Algebra.Core public
open import Algebra.Definitions public
open import Algebra.Structures public
open import Algebra.Bundles public

Generated from commit 2fd14c996b195ef101dff8919e837907ca0a08aa.