tests

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
$ENTRY Go {
term1 term2 =
term1;
(term1 (term2))=
<NotGo term2>;
}
NotGo {
term1 ('ABC':'D') =
<Go term1>;
}
$ENTRY FnGo {
t.term1 t.term2 =
t.term1;
(t.term1((t.term2())()))
= <FnNotGo t.term2>;
}
FnNotGo {
t.term1(A(B(CD))) =
<FnGo t.term1>;
}