module Math.FiniteCategories.Examples
(
main
)
where
import qualified Math.FiniteCategories.NumberCategory.Example as NumberCategory
import qualified Math.FiniteCategories.DiscreteCategory.Example as DiscreteCategory
import qualified Math.FiniteCategories.Hat.Example as Hat
import qualified Math.FiniteCategories.V.Example as V
import qualified Math.FiniteCategories.Parallel.Example as Parallel
import qualified Math.FiniteCategories.Square.Example as Square
import qualified Math.FiniteCategories.Ens.Example as Ens
import qualified Math.FiniteCategories.FinGrph.Example as FinGrph
import qualified Math.FiniteCategories.Opposite.Example as Opposite
import qualified Math.FiniteCategories.FinCat.Example as FinCat
import qualified Math.FiniteCategories.FunctorCategory.Example as FunctorCategory
import qualified Math.FiniteCategories.CompositionGraph.Example as CompositionGraph
import qualified Math.FiniteCategories.SafeCompositionGraph.Example as SafeCompositionGraph
import qualified Math.FiniteCategories.CommaCategory.Example as CommaCategory
import qualified Math.FiniteCategories.One.Example as One
import qualified Math.FiniteCategories.ConeCategory.Example as ConeCategory
main :: IO ()
main = do
IO ()
NumberCategory.main
IO ()
DiscreteCategory.main
IO ()
Hat.main
IO ()
V.main
IO ()
Parallel.main
IO ()
Square.main
IO ()
Ens.main
IO ()
FinGrph.main
IO ()
Opposite.main
IO ()
FinCat.main
IO ()
FunctorCategory.main
IO ()
CompositionGraph.main
IO ()
SafeCompositionGraph.main
IO ()
CommaCategory.main
IO ()
One.main
IO ()
ConeCategory.main