@@ -284,7 +284,8 @@ This answer is based on Edwin Brady's response in the following
285Where can I find the community standards for the Idris community?
285Where can I find the community standards for the Idris community?
286=======================================
286=======================================
287+The Idris Community Standards are stated `here
287−The Idris Community Standards are stated in <https://www.idris-lang.org/documentation/community-standards/>.
288+<https://www.idris-lang.org/documentation/community-standards/>`_ .
289Where can I find more answers?
290Where can I find more answers?
290==============================
291==============================