search

AlgebraicJulia / GATlab.jl

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

DOC: update docs to match new structure #83

Closed jpfairbanks closed 11 months ago

jpfairbanks commented 11 months ago

@olynch, I updated the docs to match the new repo structure. This should get merged into the august-cleanup branch before it diverges.

codecov[bot] commented 11 months ago

Codecov Report

Patch and project coverage have no change.

Comparison is base (e76d6c7) 78.34% compared to head (f33dfee) 78.34%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## august-cleanup #83 +/- ## =============================================== Coverage 78.34% 78.34% =============================================== Files 20 20 Lines 896 896 =============================================== Hits 702 702 Misses 194 194 ```

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