voile 0.2.6

Voile, a dependently-typed row-polymorphic programming language
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

//
// Created by Dependently-Typed Lambda Calculus on 2019-08-29
// simple-pattern-match
// Author: ice10
//

let Unit = Rec {};

val unit : Unit;
let unit = {| |};

val unitSolved : Unit;
let unitSolved = _;

let WrappedUnit = Sum { U: Unit; };

val unitSolved2 : WrappedUnit;
let unitSolved2 = _;

let Bool = Sum { True: Unit; False: Unit; };

val true : Bool;
let true = @True unit;

val false : Bool;
let false = @False unit;

val not : Bool -> Bool;
let not = case True u: false
  or case False u: true
  or whatever;