------------------------------------------------------------------------ -- 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