kodept-parse 0.3.0

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

module Base =>

fun flip(f, x, y) => f(y, x)

fun const(a, b) => a

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)
}

fun id(x) => x