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