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
- 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):
After installation, you can type-check a narc file by:
You can also start a REPL: