/examples/category-theory/
../
Adjoints.gf
Categories.gf
CategoryTheory.gf
Equalizer.gf
Functor.gf
InitialAndTerminal.gf
Monad.gf
Morphisms.gf
NaturalTransform.gf