User talk:Johnterickson

July 2022
Welcome to Wikipedia. Although everyone is welcome to contribute constructively to the encyclopedia, your addition of one or more external links to the page Agda (programming language) has been reverted. Your edit here to Agda (programming language) was reverted by an automated bot that attempts to remove links which are discouraged per our external links guideline. The external link(s) you added or changed (https://youtube.com/playlist?list=PLB7F836675DCE009C) is/are on my list of links to remove and probably shouldn't be included in Wikipedia. If the external link you inserted or changed was to a media file (e.g. music or video) on an external server, then note that linking to such files may be subject to Wikipedia's copyright policy, as well as other parts of our external links guideline. If the information you linked to is indeed in violation of copyright, then such information should not be linked to. Please consider using our upload facility to upload a suitable media file, or consider linking to the original. If you were trying to insert an external link that does comply with our policies and guidelines, then please accept my creator's apologies and feel free to undo the bot's revert. However, if the link does not comply with our policies and guidelines, but your edit included other, constructive, changes to the article, feel free to make those changes again without re-adding the link. Please read Wikipedia's external links guideline for more information, and consult my list of frequently-reverted sites. For more information about me, see my FAQ page. Thanks! --XLinkBot (talk) 14:43, 29 July 2022 (UTC)