krasimir 2702b64722 basic category theory expressed in GF. Note: works only with my development version of GF. It will be pushed in darcs soon

2010-02-14 10:20:08 +00:00

..

Categories.gf

basic category theory expressed in GF. Note: works only with my development version of GF. It will be pushed in darcs soon

2010-02-14 10:20:08 +00:00