------------------------------------------------------------------------
-- 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 public
open import Algebra.Definitions public
open import Algebra.Structures public
open import Algebra.Structures.Biased public
open import Algebra.Bundles public
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4