module Everything where

import Examples.WithMacros.Acc
import Examples.WithMacros.BST
import Examples.WithMacros.List
import Examples.WithMacros.Nat
import Examples.WithMacros.STLC
import Examples.WithMacros.W

import Examples.WithoutMacros.Acc
import Examples.WithoutMacros.BST
import Examples.WithoutMacros.List
import Examples.WithoutMacros.Nat
import Examples.WithoutMacros.STLC
import Examples.WithoutMacros.W

import Generics.Algebra
import Generics.Description
import Generics.Description.FixedPoint
import Generics.Ornament
import Generics.Ornament.Algebraic
import Generics.Ornament.Algebraic.Isomorphism
import Generics.Ornament.Description
import Generics.Recursion
import Generics.RecursionScheme
import Generics.Reflection
import Generics.Reflection.Connection
import Generics.Reflection.Datatype
import Generics.Reflection.Name
import Generics.Reflection.Recursion
import Generics.Reflection.Telescope
import Generics.Reflection.Uncurry
import Generics.SimpleContainer
import Generics.SimpleContainer.All
import Generics.SimpleContainer.Any
import Generics.Telescope

import Utils.Error
import Utils.Reflection
import Utils.Reflection.Eq
import Utils.Reflection.Print
import Utils.Reflection.Properties
import Utils.Reflection.Show
import Utils.Reflection.Tactic
import Utils.Reflection.Term
import Utils.String

import Prelude
import Prelude.Alternative
import Prelude.Applicative
import Prelude.Bool
import Prelude.Char
import Prelude.Coercion
import Prelude.Empty
import Prelude.Eq
import Prelude.Function
import Prelude.Functor
import Prelude.Level
import Prelude.List
import Prelude.Maybe
import Prelude.Monad
import Prelude.Monoid
import Prelude.Nat
import Prelude.Relation
import Prelude.Relation.Dec
import Prelude.Relation.PropositionalEquality
import Prelude.Show
import Prelude.Sigma
import Prelude.String
import Prelude.Sum