module Readme where
open import Logic.Logic
open import Logic.IProp
open import FunOrn.Example
open import IDesc.IDesc
open import IDesc.Fixpoint
open import IDesc.InitialAlgebra
open import IDesc.Lifting
open import IDesc.Induction
open import IDesc.Case
open import IDesc.Examples.List
open import IDesc.Examples.Ordinal
open import IDesc.Examples.Bool
open import IDesc.Examples.Nat
open import IDesc.Examples.Vec
open import IDesc.Examples.Fin
open import IDesc.Examples.STLC
open import IDesc.Examples.Id
open import IDesc.Examples.Forest
open import IDesc.Examples.Walk
open import IDesc.Examples.Expr
open import Orn.Ornament
open import Orn.Ornament.Examples.Maybe
open import Orn.Ornament.Examples.List
open import Orn.Ornament.Examples.Fin
open import Orn.Ornament.Identity
open import Orn.Ornament.Examples.Vec
open import Orn.Ornament.Examples.Lifting
open import Orn.Brady.Vec
open import Orn.Brady.Fin
open import Orn.Ornament.CartesianMorphism
open import Orn.Ornament.Algebra
open import Orn.AlgebraicOrnament
open import Orn.AlgebraicOrnament.Coherence
open import Orn.AlgebraicOrnament.Make
open import Orn.AlgebraicOrnament.Examples.Vec
open import Orn.AlgebraicOrnament.Examples.Leq
open import Orn.AlgebraicOrnament.Examples.Expr
open import Orn.AlgebraicOrnament.Examples.Lifting
open import Orn.Reornament
open import Orn.Reornament.Coherence
open import Orn.Reornament.Make
open import Orn.Reornament.Examples.List
open import Orn.Reornament.Examples.Maybe
open import Orn.Reornament.Examples.Iterative
open import FunOrn.Functions
open import FunOrn.Functions.Examples.Le
open import FunOrn.Functions.Examples.Plus
open import FunOrn.FunOrnament
open import FunOrn.FunOrnament.Examples.Lookup
open import FunOrn.FunOrnament.Examples.Append
open import FunOrn.Patch
open import FunOrn.Patch.Examples.Lookup
open import FunOrn.Patch.Examples.Append
open import FunOrn.Patch.Apply
open import FunOrn.Patch.Coherence
open import FunOrn.Lift.Fold
open import FunOrn.Lift.Induction
open import FunOrn.Lift.Case
open import FunOrn.Lift.MkReorn
open import FunOrn.Lift.Constructor
open import FunOrn.Lift.Examples.Head
open import FunOrn.Lift.Examples.Lookup
open import FunOrn.Lift.Examples.Append