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
• Change Log, useful resource for tracking language evolution

Install

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