fungi-lang 0.1.52

Fungi: A typed, functional language for programs that name their cached dependency graphs
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

fgi_mod!{
    type Stream = (
        rec stream. Thk[?] (
                {?;?} F
                    (+ Unit +
                        (x Nm[?] x Nat x stream))
            )
    );

    fn cons_stream:(
        Thk[?]
            0 Nm[?] ->
            0 Nat ->
            0 Stream ->
            {?;?} F Stream
    ) = {
        #n.#h.#t. thk n ret roll inj2 (n, h, t)
    }
}