search

AlgebraicJulia / GATlab.jl

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

`theory` should be `gettheory` #17

Closed olynch closed 1 year ago

olynch commented 1 year ago

I often want to use theory as a variable, so it should not be the method that gets a concrete Theory object from a subtype of AbstractTheory.

Also, maybe AbstractTheory should be called TheoryBearer, because Theory does not subtype AbstractTheory, and that's confusing. Alternatively, Theory could subtype AbstractTheory, and gettheory should be the identity on Theory.