This website requires JavaScript.
Explore
Help
Sign In
GitHub
/
gf-core
Watch
1
Star
0
Fork
1
You've already forked gf-core
mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced
2026-04-21 18:59:32 -06:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
af48998ef6ca342573e2758be708f81793c47f27
gf-core
/
examples
/
category-theory
History
krasimir
af48998ef6
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
