module Chapter8.Equivalence.Main where

open import Chapter8.Equivalence.ToContornament
open import Chapter8.Equivalence.ToCartesian
open import Chapter8.Equivalence.ToOrn