讨论:Agda
外部链接已修改
各位维基人:
我刚刚修改了Agda中的1个外部链接,请大家仔细检查我的编辑。如果您有疑问,或者需要让机器人忽略某个链接甚至整个页面,请访问这个简单的FAQ获取更多信息。我进行了以下修改:
- 向 http://pnyf.inf.elte.hu/fp/Overview_en.xml 中加入存档链接 https://web.archive.org/web/20131224094000/http://pnyf.inf.elte.hu/fp/Overview_en.xml
有关机器人修正错误的详情请参阅FAQ。