voile 0.2.6

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

Parse successful.
sign: (set0 -> [0])
body: (\ ([|0|] [0]))
sign: (set0 -> [0])
body: (\ ([|2|] [0]))
sign: (set0 -> [0])
body: (\ ([|2|] [0]))
Checkmate, dram!