概览

注解

Agda 用户手册尚未完成，仍在编写中。我们非常欢迎您的贡献、添加和修正。 要开始贡献，请在 GitHub 的 Agda 页面 发起 Pull Request 或 Issue。

本手册涵盖了 Agda 编程语言、类型检查、代码补全、编辑系统及相关资源和工具的内容。

你可以在 Agda Wiki 上找到大量有用的资源，包括 教程、介绍、出版物和书籍。 如果你是 Agda 新手，那么请使用 Agda Wiki 和 起步 上的内容而非直接阅读 Language Reference.

Language Reference 中描述了 Agda 语言。关于 Agda 编辑和补全系统用法的指南见 Tools。