Chapter 6. Higher Inductive Types - Exercises

module Chapter6.Exercises where

open import Chapter6.Book public