Add some more stuff to the example file
This commit is contained in:
parent
5c869516e2
commit
97cd81dc43
70
example.json
70
example.json
|
@ -1,15 +1,69 @@
|
||||||
[
|
[
|
||||||
"fibb_helper",
|
"ident",
|
||||||
|
{ "x": "x" },
|
||||||
|
|
||||||
|
"k",
|
||||||
|
{"o": {"_": "o"} },
|
||||||
|
|
||||||
|
"true",
|
||||||
|
{ "a": { "b": ["a", []] } },
|
||||||
|
|
||||||
|
"false",
|
||||||
|
{ "a": { "b": ["b", []] } },
|
||||||
|
|
||||||
|
"eq0",
|
||||||
|
{ "0": "true", "_": "false" },
|
||||||
|
|
||||||
|
"sub",
|
||||||
{
|
{
|
||||||
"a": {"b": {
|
"0": "ident",
|
||||||
"0": "a",
|
"S n": {
|
||||||
"1": "b",
|
"0": ["S", "n"],
|
||||||
"S S n": ["fibb_helper", ["+", "a", "b"], ["+", ["+", "a", "b"], "b"], "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",
|
||||||
["fibb_helper", 0, 1],
|
[
|
||||||
|
"fibb_helper",
|
||||||
|
{
|
||||||
|
"a": {"b": {
|
||||||
|
"0": "a",
|
||||||
|
"1": "b",
|
||||||
|
"S S n": ["fibb_helper", ["+", "a", "b"], ["+", ["+", "a", "b"], "b"], "n"]
|
||||||
|
}}
|
||||||
|
},
|
||||||
|
"fibb_helper",
|
||||||
|
0,
|
||||||
|
1
|
||||||
|
],
|
||||||
|
|
||||||
[]
|
[]
|
||||||
]
|
]
|
Loading…
Reference in New Issue