Improve coverage of rename/retag/reident or delete them

AlgebraicJulia / GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)

https://algebraicjulia.github.io/GATlab.jl/

MIT License

21 stars 2 forks source link

Improve coverage of rename/retag/reident or delete them #155

Open olynch opened 1 week ago

olynch commented 1 week ago

I'm merging the multiple-inheritance branch even though not all of the rename/retag/reident methods have been covered. However, we should get to these eventually.