FiniteCategories-0.4.0.0: Finite categories and usual categorical constructions on them.
CopyrightGuillaume Sabbagh 2022
LicenseGPL-3
Maintainerguillaumesabbagh@protonmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Math.FiniteCategories.CommaCategory.Example

Description

Examples of CommaCategory pretty printed.

Synopsis

Documentation

main :: IO () Source #

Examples of CommaCategory pretty printed.