kodept 0.2.3

Simple compiler with dependent types support in mind
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

module Base =>

// Reverses order of arguments
fun flip(f, x, y) => f(y, x)

// Always returns the first argument
fun const(a, b) => a

// Composes two functions, f and g
fun compose(f, g) => \x => f(g(x))

fun s(f, g) => \x => f(x, g(x))

fun fix(f) => {
    val x = f(x)
    x
}

fun let_bound {
    (id(id(id)))(id(3))
}

fun tuples(z) {
    val x = (z, z)
    val w = \y => ((y, y))
    w(x)
}

// Identity function
fun id(x) => x