module Chapter11.Lift.Main where

open import Chapter11.Lift.Fold
open import Chapter11.Lift.Induction
open import Chapter11.Lift.Case
open import Chapter11.Lift.Constructor

open import Chapter11.Lift.Examples.Head
open import Chapter11.Lift.Examples.Lookup
open import Chapter11.Lift.Examples.Append