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