voile-rs

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