Language Wars - Church numerals - legacy JavaScript

languagewars-churchnumerals-js.js

var suc = function (a) {
  return function (b) {
    return function (c) {
      return b(a(b)(c));
    };
  };
};
var add = function (a) {
  return function (b) {
    return function (c) {
      return function (d) {
        return a(c)(b(c)(d));
      };
    };
  };
};
var mul = function (a) {
  return function (b) {
    return function (c) {
      return a(b(c));
    };
  };
};
var exp = function (a) {
  return function (b) {
    return b(a);
  };
};
var pre = function (a) {
  return function (b) {
    return function (c) {
      return a(function (d) {
        return function (e) {
          return e(d(b));
        };
      })(function (f) {
        return c;
      })(function (g) {
        return g;
      });
    };
  };
};
var sub = function (a) {
  return function (b) {
    return b(pre)(a);
  };
};
var ntc = function (n) {
  return n > 0 ? function (a) {
    return function (b) {
      return a(ntc(n - 1)(a)(b))
    };
  } : function (a) {
    return function (b) {
      return b;
    };
  };
};
var ctn = function (a) {
  return a(function (x) {
    return x + 1;
  })(0);
};

More info: https://github.com/rsp/languagewars-churchnumerals-js