quail 0.1.0

The Quail Programming Language
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

def not : Bool -> Bool = fun b =>
    match b
        with true => false
        with false => true

def and : Bool -> Bool -> Bool = fun a b =>
    match a
        with true => b
        with false => false

def or : Bool -> Bool -> Bool = fun a b =>
    match a
        with true => true
        with false => b

def main : Top =
    let v = (
        match and true true
            with true => succ zero
            with false => zero
    ) as Nat in println (show v)