A DSL for describing categories. Language implemented in textX, using an algebra of categories from SymPy.
See demos/ for examples of categories and main.py for usage.
-
Notifications
You must be signed in to change notification settings - Fork 0
A DSL for describing categories. Language implemented in textX, using an algebra of categories from SymPy.
License
SuperSonicHub1/catlang
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A DSL for describing categories. Language implemented in textX, using an algebra of categories from SymPy.