-
Notifications
You must be signed in to change notification settings - Fork 6
/
test.js
35 lines (35 loc) · 2.21 KB
/
test.js
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
add = (function (v5){ return (function (v6){ return v5 + v6; }); })
bool = (function (v5){ return (function (v6){ return (function (v7){ return v7 ? v5(null) : v6(null); }); }); })
cons = (function (v6){ return (function (v7){ return { head : v6, tail : v7 }; }); })
eq = (function (v5){ return (function (v6){ return v5 == v6; }); })
fix = (function (v1){ return fix = arguments.callee, v1(function (i) { return fix(v1)(i) }); })
list = (function (v3){ return (function (v4){ return (function (v5){ return v5.nil ? v3 : v4(v5.head)(v5.tail); }); }); })
mul = (function (v1){ return (function (v2){ return v1 * v2; }); })
sub = (function (v6){ return (function (v7){ return v6 - v7; }); })
c1 = list(0)
c2 = fix((function (v1){ return (function (v2){ return c1((function (v3){ return (function (v4){ return add(v3)(v1(v4)); }); }))(v2); }); }))
c3 = (function (v6){ return (function (v7){ return v6; }); })({ nil : 1 })
c4 = bool((function (v5){ return c3(v5); }))
c5 = cons(1)
c6 = fix((function (v3){ return (function (v4){ return c4((function (v5){ return (function (v6){ return (function (v7){ return v6; }); })(c5(v3(sub(v4)(1))))(v5); }))(eq(v4)(0)); }); }))
c7 = c6(700)
c8 = list(c7)
c9 = fix((function (v1){ return (function (v2){ return c8((function (v3){ return (function (v4){ return cons(v3)(v1(v4)); }); }))(v2); }); }))
c10 = (function (v4){ return (function (v5){ return v4; }); })({ nil : 1 })
c11 = bool((function (v3){ return c10(v3); }))
c12 = cons(1)
c13 = fix((function (v1){ return (function (v2){ return c11((function (v3){ return (function (v4){ return (function (v5){ return v4; }); })(c12(v1(sub(v2)(1))))(v3); }))(eq(v2)(0)); }); }))
c14 = c13(700)
c15 = c9(c14)
c16 = c2(c15)
c17 = mul(c16)
c18 = list(0)
c19 = fix((function (v1){ return (function (v2){ return c18((function (v3){ return (function (v4){ return add(v3)(v1(v4)); }); }))(v2); }); }))
c20 = (function (v4){ return (function (v5){ return v4; }); })({ nil : 1 })
c21 = bool((function (v3){ return c20(v3); }))
c22 = cons(1)
c23 = fix((function (v1){ return (function (v2){ return c21((function (v3){ return (function (v4){ return (function (v5){ return v4; }); })(c22(v1(sub(v2)(1))))(v3); }))(eq(v2)(0)); }); }))
c24 = c23(700)
c25 = c19(c24)
c26 = c17(c25)
__main = c26