module Chapter6.IDesc.Examples.Main where open import Chapter6.IDesc.Examples.ToIDesc open import Chapter6.IDesc.Examples.Bool open import Chapter6.IDesc.Examples.Nat open import Chapter6.IDesc.Examples.Forest open import Chapter6.IDesc.Examples.Vec open import Chapter6.IDesc.Examples.Fin open import Chapter6.IDesc.Examples.Walk open import Chapter6.IDesc.Examples.Expr