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

@gatdoc macro defines the theory constant as well as bare-minimum docs #141

Closed quffaro closed 4 months ago

quffaro commented 4 months ago

image

Bare-minimum documentation is now available via @gatdoc macro.

jpfairbanks commented 4 months ago

@olynch, @quffaro was telling me that he changed something about when the theory constant is being exported. Can you make sure to check that is consistent with your vision for the design when reviewing?

codecov[bot] commented 4 months ago

Codecov Report

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

Project coverage is 94.52%. Comparing base (1ee1536) to head (9416baf). Report is 2 commits behind head on main.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #141 +/- ## ========================================== - Coverage 96.61% 94.52% -2.09% ========================================== Files 38 38 Lines 2067 2082 +15 ========================================== - Hits 1997 1968 -29 - Misses 70 114 +44 ```

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