search

AlgebraicJulia / GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)
https://algebraicjulia.github.io/GATlab.jl/
MIT License
23 stars 2 forks source link

Implement algebraic hierarchy, including R-algebras #87

Open olynch opened 11 months ago

olynch commented 11 months ago

We should implement the whole hierarchy of "single-sorted" algebraic theories, using multiple inheritance, and also build in support for constants.