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

Use `getvalue` from AlgebraicInterfaces #153

Closed kris-brown closed 3 months ago

kris-brown commented 3 months ago

Now that getvalue is also used in ACSets.jl, we need to import this method from AlgebraicInterfaces so that downstream packages like Catlab can use getvalue without it being ambiguous.

codecov[bot] commented 3 months ago

Codecov Report

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

Project coverage is 94.52%. Comparing base (519d855) to head (c25cac9).

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #153 +/- ## ======================================= Coverage 94.52% 94.52% ======================================= Files 38 38 Lines 2082 2082 ======================================= Hits 1968 1968 Misses 114 114 ```

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