voile 0.2.6

Voile, a dependently-typed row-polymorphic programming language
Documentation
1
2
3
4
5
6
7
8
9
10
Parse successful.
sign: set1
body: Rec {}
sign: Rec {}
body: {||}
sign: set1
body: Rec {a: Rec {}, b: Rec {}, c: Rec {}}
sign: Rec {a: Rec {}, b: Rec {}, c: Rec {}}
body: {|a = {||}, b = {||}, c = {||}|}
Checkmate, dram!