voile 0.2.6

Voile, a dependently-typed row-polymorphic programming language
Documentation 
1
2
3
4

Parse successful.
sign: (set0 -> (Rec0 {x} -> (Rec {x: [1] | [0]} -> [2])))
body: (\ (\ (\ ([0].x))))
Checkmate, dram!