stdlib.slip


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

(let if
     (fn (cond iftrue iffalse) (Bool T T) T
         (case cond
             (true iftrue)
             (_ iffalse))
     )
)


(let ++
     (fn x Int Int
         (+ x 1)
     )
)


(let --
    (fn x Int Int
        (- x 1)
    )
)