fork download
  1. #include <iostream>
  2. #include <vector>
  3.  
  4. using namespace std;
  5.  
  6. int main ()
  7. {
  8. auto n =
  9. [=](auto append){return [=](auto zero){return [=](auto inc){return ([=](auto f){return [=](auto r){return f([=](auto i){return [=](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(f([=](auto i){return [=](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(f([=](auto i){return [=](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(f([=](auto i){return [=](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(f([=](auto i){return [=](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(f([=](auto i){return [=](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(f([=](auto i){return [=](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(f([=](auto i){return [=](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(f([=](auto i){return [=](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(f([=](auto i){return [=](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(f([=](auto i){return [=](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(f([=](auto i){return [=](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(r))))))))))));};})([=](auto a){return [=](auto b){return append(a(inc)(zero));};})([=](auto i){return [=](auto n){return n;};});};};};
  10. auto inc = [](int a){ return ++a; };
  11. auto cat = [](char a){ cout << a; return 0;};
  12. return n(cat)(0)(inc);
  13. }
  14.  
Success #stdin #stdout 0s 3468KB
stdin
Standard input is empty
stdout
Hello world