@@ -157,9 +157,9 @@ To help increase the chance of your pull request being accepted:
157157
158158* [Idris Wiki](https://github.com/idris-lang/Idris-dev/wiki);
159159* [Zen Of Idris](https://github.com/idris-lang/Idris-dev/wiki/The-Zen-of-Idris);
160−* Idris FAQs: [Official](http://www.idris-lang.org/documentation/faq/); [Unofficial](https://github.com/idris-lang/Idris-dev/wiki/Unofficial-FAQ);
160+* Idris FAQs: [Official](https://idris.readthedocs.io/en/latest/faq/faq.html); [Unofficial](https://github.com/idris-lang/Idris-dev/wiki/Unofficial-FAQ);
161161* [Idris Manual](https://github.com/idris-lang/Idris-dev/wiki/Manual);
162−* [Idris Tutorial](http://eb.host.cs.st-andrews.ac.uk/writings/idris-tutorial.pdf);
162+* [Idris Tutorial](https://idris.readthedocs.io/en/latest/tutorial/index.html);
163163* [Idris News](http://www.idris-lang.org/news/);
164164* [other Idris docs](http://www.idris-lang.org/documentation/).
165165* [Using Pull Requests](https://help.github.com/articles/using-pull-requests)