{-# OPTIONS --safe #-}

module Cubical.HITs.FreeGroupoid where

open import Cubical.HITs.FreeGroupoid.Base public
open import Cubical.HITs.FreeGroupoid.GroupoidActions public
open import Cubical.HITs.FreeGroupoid.Properties public