AlgebraicJulia / AlgebraicJulia/GATlab.jl
Implement algebraic hierarchy, including R-algebras
Aberta
- Linguagem predominante
- Julia
- Estrelas
- 43
- Forks
- 4
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
Descrição
We should implement the whole hierarchy of "single-sorted" algebraic theories, using multiple inheritance, and also build in support for constants.
Guia de contribuição
Nenhum guia de contribuição indexado para este repositório
Avaliação
Esta issue ainda não foi avaliada.