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