@@ -282,6 +282,9 @@ Law <http://www.haskell.org/haskellwiki/Wadler%27s_Law>`__ in action.
282This answer is based on Edwin Brady's response in the following
282This answer is based on Edwin Brady's response in the following
283`pull request <https://github.com/idris-lang/Idris-dev/pull/694#issuecomment-29559291>`__.
283`pull request <https://github.com/idris-lang/Idris-dev/pull/694#issuecomment-29559291>`__.
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/>.
286Where can I find more answers?
289Where can I find more answers?
287==============================
290==============================