nar is both an executable binary that can be run, and a library that can be used in Rust programs.

Installing the `narc` executable

Assuming you have Rust/Cargo installed, run this command in a terminal:

cargo install nar

It will make the narc command available in your PATH if you've allowed the PATH to be modified when installing Rust. cargo uninstall nar uninstalls.

Adding `nar` library as a dependency

Run this command in a terminal, in your project's directory:

cargo add nar

To add it manually, edit your project's Cargo.toml file and add to the [dependencies] section:

nar = "0.0.8"

The nar library will be automatically available globally. Read the nar library documentation.

Back to the crate overview.

Readme

narc-rs

Narc is a dependently-typed programming language with Agda style dependent pattern matching. It's called "Narc", but a rust crate narc has already been registered, thus the crate name is changed to nar and the compiler binary is therefore narc. For language description, please head to the docs.rs page.

Resources

Original Paper that Narc is based on
Docs.rs documentation
IntelliJ Plugin, which can export your code as clickable HTML
Change Log, useful resource for tracking language evolution
Binary Download on GitHub Actions page for Windows, Ubuntu and macOS

Install

The most recommended way of installation is to download the prebuilt binaries from GitHub Actions page. Here's how to find them.

You can install the narc type-checker by this command (cargo installation and rust stable toolchain are assumed):

cargo install nar --bin narc

After installation, you can type-check a narc file by:

narc [filename]

You can also start a REPL:

narc -i

Installing the narc executable

Adding nar library as a dependency

Installing the `narc` executable

Adding `nar` library as a dependency