------------------------------------------------------------------------
-- Andreas Abel and Brigitte Pientka,
-- Wellfounded Recursion with Copatterns and Sized Types.
--
-- Journal of Functional Programming, volume 26, 2016
--
-- Agda code for examples
------------------------------------------------------------------------

module Everything where

import Prelude

import Fibonacci              -- Section 2.1, 2.2
import Colists                -- Section 2.3
import Generic                -- Section 2.4
import StreamProcessors       -- Section 2.5
import BreadthFirst           -- Section 2.6
import FixedPointCombinators  -- Section 2.7