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