voile 0.0.11

Voile, a dependently-typed extensible programming language


Crates.io Crates.io Crates.io docs.rs cc-svg av-svg dep-svg

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:

voilec [filename]

You can also start a REPL:

voilec -i