pylambdac/tests/testdata/test_reduce.json at master · ciphergoth/pylambdac · GitHub

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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
[
    [
        "λx. x x",
        [
            "λx. x x"
        ]
    ],
    [
        "(λx y. y x) λz. z z",
        [
            "(λx y. y x) λz. z z",
            "λy. y λz. z z"
        ]
    ],
    [
        "(λx y. y x λx.x) λz. z z",
        [
            "(λx y. y x λx. x) λz. z z",
            "λy. y (λz. z z) λx. x"
        ]
    ],
    [
        "(λx y. x) λz. z",
        [
            "(λx y. x) λz. z",
            "λy z. z"
        ]
    ],
    [
        "(λx. x x) λz q1. z q1",
        [
            "(λx. x x) λz q1. z q1",
            "(λz q1. z q1) λz q1. z q1",
            "λq1. (λz q1. z q1) q1"
        ]
    ],
    [
        "(λx q q1 q2 q3 q4. x q2) q",
        [
            "(λx q q1 q2 q3 q4. x q2) q",
            "λq5 q1 q2 q3 q4. q q2"
        ]
    ],
    [
        "((λx. (λq1. (λq4. (λq2. (λq3. (x q2)))))) q1)",
        [
            "(λx q1 q4 q2 q3. x q2) q1",
            "λq5 q4 q2 q3. q1 q2"
        ]
    ],
    [
        "(λx q1 q. x) q",
        [
            "(λx q1 q. x) q",
            "λq1 q2. q"
        ]
    ],
    [
        "(λr q. r q1) q",
        [
            "(λr q. r q1) q",
            "λq2. q q1"
        ]
    ],
    [
        "(λr. r freevar λfreevar. freevar) freevar",
        [
            "(λr. r freevar λfreevar. freevar) freevar",
            "freevar freevar λfreevar1. freevar1"
        ]
    ]
]