search

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

Remove Catlab dependency #131

Closed KevinDCarlson closed 8 months ago

KevinDCarlson commented 8 months ago

Need to remove the catlab dependency that snuck in

codecov[bot] commented 8 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (c7ad9a8) 96.61% compared to head (90aaf93) 96.61%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #131 +/- ## ======================================= Coverage 96.61% 96.61% ======================================= Files 38 38 Lines 2067 2067 ======================================= Hits 1997 1997 Misses 70 70 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

olynch commented 8 months ago

Can you rebase off of main? Or just make a new branch off of main?

KevinDCarlson commented 8 months ago

Superseded by #132