gf-core.git/examples/category-theory/InitialAndTerminal.gf, branch master Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=master 2013-09-16T07:17:27+00:00 Remove contribs and examples 2013-09-16T07:17:27+00:00 john.j.camilleri john.j.camilleri@chalmers.se 2013-09-16T07:17:27+00:00 urn:sha1:f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb El -> Obj in category theory 2010-06-01T06:12:30+00:00 krasimir krasimir@chalmers.se 2010-06-01T06:12:30+00:00 urn:sha1:5e0d04d0f59e4ace8df23befcbe8263447611e63 cleanup the code for category theory 2010-06-01T06:03:19+00:00 krasimir krasimir@chalmers.se 2010-06-01T06:03:19+00:00 urn:sha1:19851031e69d05e802eeabfe5db55e58583e1ba0 refactor Morphisms.gf and InitialAndTerminal.gf 2010-03-15T10:43:20+00:00 krasimir krasimir@chalmers.se 2010-03-15T10:43:20+00:00 urn:sha1:9f45bb0df10f8367bff0851da5fea3129a0512c0 some more definitions in category theory 2010-02-20T16:33:40+00:00 krasimir krasimir@chalmers.se 2010-02-20T16:33:40+00:00 urn:sha1:3d8b7f9850bd88c96f0a43c7ebb17554543ee5e1 more category theory -> morphisms, initial and terminal objects 2010-02-15T10:35:24+00:00 krasimir krasimir@chalmers.se 2010-02-15T10:35:24+00:00 urn:sha1:61287f39259bdca55ba9874d369d2d2191bb1baf