↑ Top


Setoid Representation of Algebras

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

module Algebras.Func where

open import Algebras.Func.Basic
open import Algebras.Func.Products
open import Algebras.Func.Congruences


← Algebras.Congruences Algebras.Func.Basic →