69 lines
801 B
JSON
69 lines
801 B
JSON
[
|
|
"ident",
|
|
{ "x": "x" },
|
|
|
|
"k",
|
|
{"o": {"_": "o"} },
|
|
|
|
"true",
|
|
{ "a": { "b": ["a", []] } },
|
|
|
|
"false",
|
|
{ "a": { "b": ["b", []] } },
|
|
|
|
"eq0",
|
|
{ "0": "true", "_": "false" },
|
|
|
|
"sub",
|
|
{
|
|
"0": "ident",
|
|
"S n": {
|
|
"0": ["S", "n"],
|
|
"S m": ["sub", "n", "m"]
|
|
}
|
|
},
|
|
|
|
"pred",
|
|
{
|
|
"0": 0,
|
|
"S n": "n"
|
|
},
|
|
|
|
"lt",
|
|
{
|
|
"0": {"0": "false", "S _": "true"},
|
|
"S n": {
|
|
"0": "false",
|
|
"S m": ["lt", "n", "m"]
|
|
}
|
|
},
|
|
|
|
"modulo",
|
|
{"n": {"m":
|
|
["lt", "n", "m",
|
|
{"_": "n"},
|
|
{"_": ["modulo", ["sub", "n", "m"], "m"]}]
|
|
}},
|
|
|
|
"compose",
|
|
{"f1": {"f2": {"a":
|
|
["f1", ["f2", "a"]]
|
|
}}},
|
|
|
|
"fibb",
|
|
[
|
|
"fibb_helper",
|
|
{
|
|
"a": {"b": {
|
|
"0": "a",
|
|
"1": "b",
|
|
"S S n": ["fibb_helper", ["+", "a", "b"], ["+", ["+", "a", "b"], "b"], "n"]
|
|
}}
|
|
},
|
|
"fibb_helper",
|
|
0,
|
|
1
|
|
],
|
|
|
|
[]
|
|
] |