module Homotopy.Space.Circle where

open import Homotopy.Space.Circle.Properties public
open import Homotopy.Space.Circle.Base public