narc-rs

Narc 是一种具有 Agda 风格的依赖模式匹配的依赖类型编程语言。它被称为 "Narc"，但由于已经有一个名为 narc 的 Rust crate 已被注册，因此 crate 名称已更改为 nar，因此编译器二进制文件为 narc。有关语言描述，请访问 docs.rs 页面。

资源

• Narc 所基于的原始论文
• Docs.rs 文档
• IntelliJ 插件，可以将您的代码导出为可点击的 HTML
• 变更日志，跟踪语言演化的有用资源
• 二进制下载 在 GitHub Actions 页面上（Windows、Ubuntu 和 macOS）

安装

最推荐的安装方法是下载 GitHub Actions 页面上的预构建二进制文件。这里是如何找到它们的方法。

您可以使用以下命令安装 narc 类型检查器（假设已安装 cargo 和 rust 稳定工具链）

cargo install nar --bin narc

安装后，您可以通过以下方式检查 narc 文件

narc [filename]

您还可以启动一个 REPL

narc -i