Issues with idris.readthedocs.app access could stem from improper redirect settings between different versions of the site. Check the following links for alternative routes:

http://idris.readthedocs.app https://idris.readthedocs.app

Or return to the current status page of idris.readthedocs.app.