-
Notifications
You must be signed in to change notification settings - Fork 5
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
refactor documentation #38
Conversation
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #38 +/- ##
==========================================
- Coverage 81.55% 76.97% -4.59%
==========================================
Files 28 28
Lines 1681 1681
==========================================
- Hits 1371 1294 -77
- Misses 310 387 +77 ☔ View full report in Codecov by Sentry. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks so much Angeline, this is very helpful! I look forward to keeping up with the docs for new features in the future! I noticed the unicode art in the docstrings gets mangled, but happy to address that later.
docs/src/index.md
Outdated
``` | ||
|
||
#### Colimit-of-representables instantiation (`@acset_colim``) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
extra backtick
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Fixed!
docs/src/index.md
Outdated
``` | ||
|
||
This documentation provides a basic guide to using the AlgebraicRewriting package in Julia. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Does this line belong at the beginning?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yeah, you're right. It was a straggler. Moved it up.
docs/src/index.md
Outdated
If using the **static** approach, you must fully specify the ACSet functors and natural transformation. Here is a rule that defines the ACSet statically. | ||
|
||
In this example, the rule swaps player between two teams. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yeah, that is. It was intended to simulate a trade of players, one from each team. I revised the sentence to hopefully make it clearer.
also I suspect that |
Looks great to me, thanks! |
repo="github.com/AlgebraicJulia/AlgebraicRewriting.jl.git", | ||
branch="gh-pages", | ||
devbranch="dev" |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This should not be dev
, this should be main
This PR updates the documentation found on https://algebraicjulia.github.io/AlgebraicRewriting.jl/dev/.
More specifically, this: