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