@@ -282,6 +282,9 @@ Law <http://www.haskell.org/haskellwiki/Wadler%27s_Law>`__ in action.
282282This answer is based on Edwin Brady's response in the following
283283`pull request <https://github.com/idris-lang/Idris-dev/pull/694#issuecomment-29559291>`__.
284284
285+Where can I find the community standards for the Idris community?
286+=======================================
287+The Idris Community Standards are stated in <https://www.idris-lang.org/documentation/community-standards/>.
285288
286289Where can I find more answers?
287290==============================