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