Skip to content
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

Creating internal and external links in Graph Theory #832

Merged
merged 6 commits into from
Oct 12, 2023

Conversation

EgbertRijke
Copy link
Collaborator

This PR creates internal links in the ## Idea sections and new ## External links sections to all files in the graph-theory folder.

In particular, it already collects links to wikidata, which we will eventually need for the MaGE project, but it does not introduce nonexisting links to the MaGE project website.

@fredrik-bakke
Copy link
Collaborator

Nice work! I don't have time to review this at the moment, but from a quick view it looks good, so if you're confident with the PR I think it can be merged right away.

@EgbertRijke
Copy link
Collaborator Author

Ok, it just adds some links and otherwise it is quite a trivial pull request. So I'll merge it and then we can fix it later if we discover faulty links or other issues.

@EgbertRijke EgbertRijke merged commit 0929b70 into UniMath:master Oct 12, 2023
@EgbertRijke EgbertRijke deleted the external-links branch October 12, 2023 13:38
@VojtechStep
Copy link
Collaborator

Some of the Wikipedia links have extra <, >

@EgbertRijke
Copy link
Collaborator Author

Ay... that came in a split second too late. I'll fix it. Let me know if you find anything else

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants