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
31
32
33
34
35
36
37
38
39
s-abs := λ(: lhs S[])(: rhs S[]). (: (
(close(SCons(
(close(SAtom 'Abs_s))
(close(SCons(
lhs
rhs
)))
)))
) S[]);
s-app := λ(: lhs S[])(: rhs S[]). (: (
(close(SCons(
(close(SAtom 'App_s))
(close(SCons(
lhs
rhs
)))
)))
) S[]);
s-nil := λ. (: (
(close SNil)
) S[]);
s-var := λ(: s String). (: (
(close(SCons(
(close(SAtom 'Var_s))
(close(SAtom s))
)))
) S[]);
s-lit := λ(: s String). (: (
(close(SCons(
(close(SAtom 'Lit_s))
(close(SAtom s))
)))
) S[]);