文件名称：plfa.github.io:Agda编程语言理论导论
文件大小：19.91MB
文件格式：ZIP
更新时间：2024-05-26 05:12:27
book proof-assistant programming-languages HTML
布局 标题 上一个 永久链接 下一个 页 入门 /前言/ /入门/ /自然/ 用户的依存关系 您无需安装任何内容即可阅读PLFA。 但是，如果您希望与代码进行交互或完成练习，则需要几件事： PLFA已针对Agda和标准库的特定版本进行了测试，如上面的徽章所示。 Agda和标准库的更改Swift，这些更改通常会破坏PLFA，因此使用较旧或较新的版本通常会引起问题。 在线有多个版本的Agda及其标准库。 如果您使用的是Homebrew或Debian apt这样的软件包管理器，则可用的Agda版本可能已过期。 此外，Agda正在积极开发中，因此，如果您从GitHub安装开发版本，则可能会发现开发人员进行了一些更改，从而破坏了此处的代码。 因此，拥有上面显示的特定版本的Agda和标准库很重要。 在macOS上：安装XCode命令行工具 在macOS上，您需要安装。 对于大多数版本的macOS