voile 0.2.6

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

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