From 3d7b946fb938e4510c38c1394d66ef232b3b3451 Mon Sep 17 00:00:00 2001 From: Vit Brunner Date: Fri, 11 Mar 2022 20:31:43 +0100 Subject: [PATCH] Fix links to GitHub wiki --- CONTRIBUTING.md | 3 ++- README.md | 7 ++++--- docs/source/backends/index.rst | 2 +- docs/source/faq/faq.rst | 2 +- docs/source/libraries/index.rst | 2 +- 5 files changed, 9 insertions(+), 7 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 19a7e5f1c..a5ad354ae 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -76,7 +76,8 @@ Things we might accept - However, please consider whether it would be better as a separate library. If something is in the Idris2 repository, we need to commit to maintaining it to some extent, so we have to be sure that we can do so. You can find - (and contribute to) a list of `libraries on the wiki `_. + (and contribute to) a list of [libraries on the wiki]( + https://github.com/idris-lang/Idris2/wiki/1-%5BLanguage%5D-Libraries). - For any library additions, please try to include as many documentation strings as you can. diff --git a/README.md b/README.md index 21e08144d..2773fd6f2 100644 --- a/README.md +++ b/README.md @@ -86,8 +86,9 @@ The javascript codegen uses the new BigInt, hence nodejs 10.4 or higher is requi Editor Plugins -------------- -The [wiki](https://github.com/idris-lang/Idris2/wiki/The-Idris-editor-experience) -lists the current plugins available for common text editors and their features. +The [wiki lists the current plugins available for common text editors]( +https://github.com/idris-lang/Idris2/wiki/1-%5BLanguage%5D-Editor-support) +and their features. Things still missing -------------------- @@ -101,7 +102,7 @@ Contributions wanted + [Contribution guidelines](CONTRIBUTING.md) + [Good first issues](https://github.com/idris-lang/Idris2/issues?q=is%3Aopen+is%3Aissue+label%3A%22good+first+issue%22) -+ [Contributors wanted](https://github.com/idris-lang/Idris2/wiki/Contributions-wanted) ++ [Contributors wanted](https://github.com/idris-lang/Idris2/wiki/2-%5BCommunity%5D-Contributions-wanted) If you want to learn about Idris more, contributing to the compiler could be one way to do so. Just select one good first issue and ask about it on the [Discord](https://discord.gg/UX68fDs2jc) channel. diff --git a/docs/source/backends/index.rst b/docs/source/backends/index.rst index 290836c3e..9476a705e 100644 --- a/docs/source/backends/index.rst +++ b/docs/source/backends/index.rst @@ -85,7 +85,7 @@ or via the `IDRIS2_CG` environment variable. There are also external code generators that aren't part of the main Idris 2 repository and can be found on Idris 2 wiki: -`External backends `_ +`External backends `_ There is work in progress support for generating libraries for other languages from idris2 code. diff --git a/docs/source/faq/faq.rst b/docs/source/faq/faq.rst index f0867ff43..b24a36e5e 100644 --- a/docs/source/faq/faq.rst +++ b/docs/source/faq/faq.rst @@ -24,7 +24,7 @@ Where can I find libraries? Is there a package manager? ======================================================= We don't yet have a package manager, but you can still find a source of -libraries on the wiki: https://github.com/idris-lang/Idris2/wiki/Libraries +libraries on the wiki: https://github.com/idris-lang/Idris2/wiki/1-%5BLanguage%5D-Libraries Fortunately, the dependencies are currently not that complicated, but we'd still like a package manager to help! There isn't an official one yet, but diff --git a/docs/source/libraries/index.rst b/docs/source/libraries/index.rst index a8f3d25a6..3d18a79c4 100644 --- a/docs/source/libraries/index.rst +++ b/docs/source/libraries/index.rst @@ -2,7 +2,7 @@ Where To Find Libraries ======================= You can find a canonical source of Idris libraries on the wiki on github: -https://github.com/idris-lang/Idris2/wiki/Libraries +https://github.com/idris-lang/Idris2/wiki/1-%5BLanguage%5D-Libraries Please feel free to contribute your own libraries there! Eventually, we aim to have a package manager for managing libraries and dependencies. We do not yet