AlgebraicJulia / AlgebraicJulia/GATlab.jl
Namespaced Coproducts
Abierto
- Lenguaje dominante
- Julia
- Estrellas
- 43
- Forks
- 4
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
There should be coproducting operations that rename each of the variables in the relevant context, prefixing them with a name space. This will make it possible to refer to the variables in the case where we, for instance, coproduct a context with itself.
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Evaluación
Este issue todavía no se ha evaluado.