{-# OPTIONS --without-K --rewriting #-}

module cw.examples.Examples where

open import cw.examples.Empty public
open import cw.examples.Sphere public
open import cw.examples.Unit public