summaryrefslogtreecommitdiff
path: root/examples/category-theory/InitialAndTerminal.gf
AgeCommit message (Expand)Author
2010-02-15more category theory -> morphisms, initial and terminal objectskrasimir