↑ Top


Equations and Varieties for Setoids

This is the Setoid.Varieties module of the Agda Universal Algebra Library.

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

module Setoid.Varieties where

open import Setoid.Varieties.EquationalLogic
open import Setoid.Varieties.SoundAndComplete
open import Setoid.Varieties.Closure
open import Setoid.Varieties.Properties
open import Setoid.Varieties.Preservation
open import Setoid.Varieties.FreeAlgebras
open import Setoid.Varieties.HSP


← Setoid.Subalgebras.Properties Setoid.Varieties.EquationalLogic →