voile-rs

![cc-svg] ![av-svg] ![dep-svg]

Voile is a dependently-typed programming language features in first-class sums and records.

Resources

• Doc.rs documentation (a tutorial is included)
• Change Log
• IntelliJ Plugin
• Code examples

Install

You can install the voile type-checker by this command (cargo installation and rust stable toolchain are assumed):

bash cargo install voile --bin voilec

After installation, you can type-check a voile file by:

bash voilec [filename]

You can also start a REPL:

bash voilec -i