跳转到内容
主菜单
主菜单
移至侧栏
隐藏
导航
首页
分类索引
特色内容
新闻动态
最近更改
随机条目
帮助
帮助
维基社群
方针与指引
互助客栈
知识问答
字词转换
IRC即时聊天
联络我们
关于维基百科
特殊页面
其他语言
搜索
搜索
外观
资助维基百科
创建账号
登录
个人工具
资助维基百科
创建账号
登录
未登录编辑者的页面
了解详情
贡献
讨论
Talk:简单类型λ演算：修订历史
添加语言
页面内容不支持其他语言。
添加话题
条目
讨论
不转换
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
阅读
编辑
查看历史
工具
工具
移至侧栏
隐藏
操作
阅读
编辑
添加话题
查看历史
常规
链入页面
相关更改
Atom
上传文件
页面信息
获取短链接
下载二维码
外观
移至侧栏
隐藏
帮助
查看该页面的日志
（
查看過濾器日志
）
过滤修订版本
展开
折叠
截止日期：
标签
过滤：
2017年版源代码编辑
Android应用编辑
ASCII text added
AWB
CheckNewusermessageSignatures
CleanupCiteDates
CleanupCiteScriptTitles
CleanupCiteYMD
CleanupDuplicateArgs
CleanupILH_DOM
ContentTranslation：高比例未修改机器翻译
CropTool [1.2]
CropTool [1.4]
CropTool [1.5]
DiBabel [1.2]
discussiontools-added-comment（隐藏的标签）
discussiontools-source-enhanced（隐藏的标签）
discussiontools-source（隐藏的标签）
discussiontools-visual（隐藏的标签）
discussiontools（隐藏的标签）
DispatchRecentChanges
Dispenser [1.0]
Dispenser [2.4]
editcheck-newcontent（隐藏的标签）
editcheck-newreference（隐藏的标签）
editcheck-references（隐藏的标签）
EditCLI
Extraneous formatting
Fountain [0.1.3]
grammarly
HTML註解
Huggle
IABotManagementConsole (Personal Debug Consumer) [1.0]
IABotManagementConsole [1.1]
IABotManagementConsole [1.2]
IABotManagementConsole [1.3]
iOS应用编辑
Liangent-Labs-PHP [1.0]
Liangent-Labs-PHP-Restricted [1.0]
Light message (localhost) [1.0]
MakeRedirect
meta spam id
PAWS [1.2]
PAWS [2.1]
paws [2.2]
PopulateCite
possible open proxy
ProveIt
QuickCategories [1.1]
RollbackUserEdits
SWViewer [1.2]
SWViewer [1.3]
SWViewer [1.4]
SWViewer [1.6]
T144167
TagGeo
ToolsRedirect
TranslateVariants
Translation Dashboard mdwiki1 [1.0]
TW
unblock-zh-helper [1.0]
vfd
wikieditor（隐藏的标签）
WikiLoop Battlefield Dev Local [2.0.0]
WikiMirror
Wikiplus
WikitextExtensionForVSCode
不中立语调
不当标点符号
以已知公有领域或自由版权作品为来源提报疑似侵权
使用他人簽名
修改人物昵称
修改數值
修改演员绰号昵称
修改生卒日期
修改艺人条目的角色性质
修改討論存檔或移除存檔模板
典范条目及优良条目的不正常修订
内容模型更改
内容翻译
内容翻译2
内容被大量删除
加入F开头的单词
加入不可见字符
加入不存在文件
加入不存在模板
加入博客链接
加入魔術字
包含其他符号和象形文字
包含嵌入式跨语言链接
参考文献语法出错或被移除
可视化编辑
可视化编辑：需检查
含有Unicode私有区编码
回复
回退
在條目代碼底部加入內容
增加不可靠来源
增加广告宣传内容
外部機器翻譯
大量删除
导师模块问题
导师计划面板问题
導師清單的變更
小小作品
已更改重定向目标
已由文件导入器修改
已被回退
已达到条件限制
已重建
帮助面板问题
应用程序撤销
建议：加入图片
建议：向章节中添加图片
應用程式圖片新增至頂端
應用程式完整來源
應用程式建議編輯
應用程式章節來源
應用程式討論來源
應用程式討論回覆
應用程式討論話題
應用程式選擇來源
應用程式還原
手動轉換異體字
手工回退
拒绝（参考资料）编辑检查（不确定）
拒绝（参考资料）编辑检查（其他）
拒绝（参考资料）编辑检查（常识）
拒绝（参考资料）编辑检查（无关）
撤销
新手任务
新手任务：参考文献
新手任务：扩充
新手任务：更新
新手任务：编修
新手任务：链接
新用户加入疑似宣传性内容
新用户参与投票讨论
新用户编辑自己的对话页
新话题
新重定向
替换
机器人使用Zotero自动填充引用模板，请复查
机器人巡查：ORES
机器人巡查：巡查豁免
机器人根据WP:NFCC#3b自动缩小尺寸超标的非自由版权图片
机器人移除不再符合的无来源/无引用模板。请检查最近加入/引用的来源是否可靠，以及{{refimprove}}/{{more footnotes}}模板是否适用
机器人自动修正日期格式
机器人自动清理以外部链接形式表现的内部链接
机器人自动清理含有冗余参数的引用的页面
机器人自动清理含有引文日期格式错误的页面
机器人自动清理含有网址-维基内链冲突的页面
机器人自动清理引用模板中的不可见字符
机器人自动清理调用重复模板参数的页面
条目评级
检查外部链接
模板被删除
機器人巡查：被撤销
没有维基化
消歧义連結
添加不合規範之跨語言連結
添加刪除模板
添加文件
清空
清空章节
無意義字符
由可视化编辑器切换为wikitext编辑器
疑似COVID-19命名破坏
疑似剪贴移动
疑似加入康熙部首字元
疑似转换标记不正常
疑似違反兩岸用語方針
社群配置
移动应用程序编辑
移动版编辑
移动版网页编辑
移除COI模板
移除他人留言
移除删除性模板
移除或更換文件
移除文件描述页模板
移除维护性模板
移除违反讨论页指引的留言
移除重定向
章节翻译
編輯檢查（參考資料）已顯示
绘文字
维基友爱
编辑与用户名相同条目
编辑其他人的用户页
编辑检查（参考资料）已激活
群发消息递送
自己存檔自己提出的評選
自己結束自己提出的評選，需要複檢結果
表格渐层背景
请复查NPOV:地域或团体观点
过多空白字符
重複字符
间隔号输入错误
阻止非自由版权文件的显示。根据著作权方针，非自由版权文件仅能在条目中合理使用，而不能在其它的命名空间使用。
高级移动版编辑
高風險主題編輯限制
反向选择
显示版本
选择下列任何一个版本的日期点击可以浏览。需要更多帮助请参看
Help:页面历史
和
Help:编辑摘要
。
外部工具：
修订历史统计
搜索编辑历史
（
备用
）
本月页面浏览统计
修复死链
（当前）= 与最后修订版本的差别，（先前）= 与前一个修订版本的差别，
小
=
小修改
，→ =
章节编辑
，← =
自动编辑摘要
2024年2月22日 (星期四)
当前
先前
02:43
2024年2月22日 (四) 02:43
Cewbot
留言
贡献
小
100字节
+16
Maintain {{WPBS}}
: 2個專題模版。Create {{WPBS}}.
撤销
2016年5月19日 (星期四)
当前
先前
08:45
2016年5月19日 (四) 08:45
和平-bot
留言
贡献
84字节
+44
→
top
：
WikiProject Maths
撤销
2015年8月27日 (星期四)
当前
先前
04:29
2015年8月27日 (四) 04:29
和平-bot
留言
贡献
小
40字节
+16
Fix WikiProject, replaced: 哲学专题 → WikiProject Computer science 由
自动维基浏览器
协助
撤销
2015年7月14日 (星期二)
当前
先前
11:38
2015年7月14日 (二) 11:38
Sz-iwbot
留言
贡献
24字节
+24
Added {{哲学专题}} 由
自动维基浏览器
协助
搜索
搜索
Talk:简单类型λ演算：修订历史
添加话题
