module Math.FiniteCategories.Parallel.Example
(
main
)
where
import Data.WeakSet.Safe
import Math.FiniteCategories.Parallel
import Math.IO.FiniteCategories.ExportGraphViz
main :: IO ()
main :: IO ()
main = do
String -> IO ()
putStrLn String
"Start of Math.FiniteCategories.Parallel.Example"
Parallel -> String -> IO ()
forall o m c.
(Eq o, PrettyPrint o, PrettyPrint m, Morphism m o,
FiniteCategory c m o) =>
c -> String -> IO ()
catToPdf Parallel
Parallel String
"OutputGraphViz/Examples/FiniteCategories/Parallel/Parallel"
String -> IO ()
putStrLn String
"End of Math.FiniteCategories.Parallel.Example"