Logo
Explore Help
Sign In
GitHub/gf-core
1
0
Fork 1
You've already forked gf-core
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-14 07:19:31 -06:00
Code Issues Packages Projects Releases Wiki Activity
Files
7d9349271b4e46bc1fb4017c5a40689cdfd9188f
gf-core/examples/category-theory
History
krasimir d73ed8ba2e some comments in the code for category theory
2010-06-01 06:56:34 +00:00
..
Adjoints.gf
some comments in the code for category theory
2010-06-01 06:56:34 +00:00
Categories.gf
some comments in the code for category theory
2010-06-01 06:56:34 +00:00
CategoryTheory.gf
incomplete code for adjoints and monads
2010-03-15 17:31:15 +00:00
Equalizer.gf
El -> Obj in category theory
2010-06-01 06:12:30 +00:00
Functor.gf
some comments in the code for category theory
2010-06-01 06:56:34 +00:00
InitialAndTerminal.gf
El -> Obj in category theory
2010-06-01 06:12:30 +00:00
Monad.gf
incomplete code for adjoints and monads
2010-03-15 17:31:15 +00:00
Morphisms.gf
some comments in the code for category theory
2010-06-01 06:56:34 +00:00
NaturalTransform.gf
some comments in the code for category theory
2010-06-01 06:56:34 +00:00
Powered by Gitea Version: 1.25.5 Page: 2561ms Template: 9ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API