分支机构标签

姓名		姓名	上次提交消息	上次提交日期
最新提交历史 22491次承诺
.github文件		.github文件
.vscode（.vscode）		.vscode（.vscode）
基准		基准
立方体@a10e25a		立方体@a10e25a
文件		文件
示例		示例
百万		百万
笔记		笔记
型钢混凝土		型钢混凝土
标准-lib@6f884dd		标准-lib@6f884dd
测试		测试
.envrc文件		.envrc文件
.gitignore（.git忽略）		.gitignore（.git忽略）
.git模块		.git模块
.hlint.yaml		.hlint.yaml公司
.mailmap（电子邮件地图）		.mailmap（电子邮件地图）
.读取文档.yaml		.读取文档.yaml
阿格达·卡巴尔		阿格达·卡巴尔
CHANGELOG.md公司		CHANGELOG.md公司
引文.cff		引文.cff
哈金.md		哈金.md
许可证		许可证
生成文件		生成文件
自述.md		自述.md
设置.hs		设置.hs
电缆.项目.本地.mtl23		电缆.项目.本地.mtl23
电缆.项目.tc		电缆.项目.tc
固定白色面.yaml		固定白色面.yaml
薄片.锁		薄片.锁
薄片nix		薄片nix
hie-stack.山药		hie-stack.山药
发布.sh		发布.sh
堆叠-8.10.7.yaml		堆叠-8.10.7.yaml
堆叠-8.6.5.yaml		堆叠-8.6.5.yaml
堆叠-8.4.yaml		堆叠-8.4.yaml
堆叠-9.0.2.yaml		堆叠-9.0.2.yaml
堆叠-9.2.8.yaml		堆叠-9.2.8.yaml
堆叠-9.4.2.yaml		堆叠-9.4.2.yaml
堆叠-9.4.8.yaml		堆叠-9.4.8.yaml
堆叠-9.6.5.yaml		堆叠-9.6.5.yaml
堆叠-9.8.2.yaml		堆叠-9.8.2.yaml
润色.sh		润色.sh

存储库文件导航

阿格达2

请注意，本README只是关于Agda，而不是其标准库。请参阅阿格达维基有关库。

文档

用户手册（per-commit pdf可从github操作第页）
CHANGELOG公司

入门

对Agda的贡献

贡献指南：哈金
哈斯克尔风格指南