Voile is a dependently-typed programming language features in first-class sums and records.
You can install the voile type-checker by this command (cargo installation and rust stable toolchain are assumed):
cargo install voile --bin voilec
After installation, you can type-check a voile file by:
You can also start a REPL: