summaryrefslogtreecommitdiff
path: root/examples/category-theory
ModeNameSize
-rw-r--r--Categories.gf3930logplain
-rw-r--r--CategoryTheory.gf90logplain
-rw-r--r--InitialAndTerminal.gf949logplain
-rw-r--r--Morphisms.gf1220logplain