AlgebraicJulia / AlgebraicJulia/Catlab.jl
Web export of hierarchy of GATs
Offen
enhancement
GATs
- Vorherrschende Sprache
- Julia
- Sterne
- 724
- Forks
- 73
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
It would be great to pretty print a Theory with all of its inherited type/term constructors. I find myself executing the inheritance algorithm by hand when reading the source code. A SemiadditiveCategory is a MonoidalCategoryWithBidiagonalsAdditive which is a MonoidalCategoryWithCodiagonals which is a SymmetricMonoidalCategoryAdditive which is a ...
I guess we should actually take the Catlab.Theories module and generate a webpage that can have tables and hyperlinksinto a web of theories.
Beitragsleitfaden
Bewertung
Dieses Issue wurde noch nicht bewertet.