module Chapter6.IDesc.Algebra.Main where

open import Chapter6.IDesc.Algebra.Quantifiers
open import Chapter6.IDesc.Algebra.Composition