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
For language description, please head to the docs.rs page.
- Original Paper that Narc is based on
- Docs.rs documentation
- Change Log, useful resource for tracking language evolution
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:
You can also start a REPL: