SOLenG

// λx.λy.y  fun x -> fun y -> y
var False = function (x) {
    return function (y) {
        return y;
    };
};
// λx.λy.x
var True = function (x) {
    return function (y) {
        return x;