参考手册2.相关类型的历史记录

隐藏次要编辑-显示对输出的更改

2018年12月14日下午06:43通过129.16.225.10-
添加了第1-2行：
''看[[https://agda.readthedocs.io/en/latest/language/core-language.html|官方用户手册]]，获取此页面上信息的最新版本
恢复
2012年2月22日上午09:52通过x赫兹-
将第3-6行更改为：
[@
一个：：=x       |λx&#8594；一    |一一        |（x:a）&#8594；一套
         变量|抽象|应用程序|函数空间|宇宙
@]
收件人：
一个：：=x       | λ x个→一   |一个a|（x:a）&#8594；一套
     变量 |抽象|应用|函数空间|宇宙
恢复
2012年2月22日上午09:45通过x赫兹-
将第1-3行更改为：
Agda的核心是依赖型理论。
我们描述了依赖型&#955；的基本特征-这里是微积分. 
[只需参考/复制彼得·戴比杰的文件-正在制作？]
收件人：
Agda的核心是依赖型lambda演算。
术语语法如下.
[@
答：：=x |&#955；x&#8594；a a（x:a）&#8594；一套
变量|抽象|应用程序|函数空间|宇宙
@]
恢复
2012年2月21日下午05:32通过x赫兹-
添加了第1-3行：
从本质上讲，阿格达是一个依赖型理论。
我们描述了依赖型&#955；的基本特征-这里是微积分。 
[只需参考/复制彼得·戴比杰的文件-正在制作中？]
恢复
编辑|历史|最近的更改 （全部）|搜索
页面上次修改时间：2018年12月14日下午06:43
技术支持私人维基