分支机构标签

姓名		姓名	上次提交消息	上次提交日期
最新提交历史 22936次承诺
.github文件		.github文件
.vscode（.vscode）		.vscode（.vscode）
基准		基准
立方@e2370fb		立方@e2370fb
文件		文件
示例		示例
百万		百万
笔记		笔记
src公司		src公司
标准磅@7069d03		标准磅@7069d03
测试		测试
.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.4.yaml		堆叠-8.4.yaml
堆叠-9.0.2.yaml		堆叠-9.0.2.yaml
堆叠-9.10.1.yaml		堆叠-9.10.1.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.6.山药		堆垛-9.6.6.山药
堆叠-9.8.2.yaml		堆叠-9.8.2.yaml
润色.sh		润色.sh

存储库文件导航

阿格达2

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

文档

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

入门

对Agda的贡献

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