index.agda

module index where

  -- Catamorphism
  import Functor.Algebra.Recursion

  -- Anamorphism
  import Functor.Coalgebra.Corecursion
  
  -- Paramorphism
  import Functor.Algebra.Recursion.Primitive
  
  -- Apomorphism
  import Functor.Coalgebra.Corecursion.Primitive