voile 0.2.6

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

val implicit_id: {A : Type} -> A -> A;
let implicit_id = \a. a;

val explicit_id: (A: Type) -> A -> A;
let explicit_id = \A a. implicit_id a;