18 hours ago
- 使用Nix安装Agda及其标准库，通过在`environment.systemPackages`或`home-manager`配置中添加`agda.withPackages`。
- 对于Emacs用户，通过home-manager的`programs.emacs.extraPackages`安装`agda2-mode`。
- 使用`agda filename.agda`对Agda文件进行类型检查，并使用`agda -c filename.agda`编译生成可执行文件。
- 要在项目中使用标准库，请在项目目录中创建一个`.agda-lib`文件，内容为`depend: standard-library`和`include: .`，以解析像`Data.Nat`这样的导入。
- 如果没有库文件，Agda将无法找到标准库模块，如示例错误所示。