{-# OPTIONS --safe #-}

module Cubical.Algebra.CommAlgebra.FreeCommAlgebra where

open import Cubical.Algebra.CommAlgebra.FreeCommAlgebra.Base public
open import Cubical.Algebra.CommAlgebra.FreeCommAlgebra.Properties public