AlgebraicJulia / AlgebraicJulia/GATlab.jl
Docstrings on generators in a theory
Aperta
infrastructure
- Lingua principale
- Julia
- Stelle
- 43
- Fork
- 4
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
In Catlab, docstrings on the generators in a theory are saved to the theory structure. We should support this in Gatlab too.
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Valutazione
Questa issue non è ancora stata valutata.