voile-rs
Voile is a dependently-typed programming language features in first-class sums and records.
Resources
- Docs.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):
After installation, you can type-check a voile file by:
You can also start a REPL: