lambda-calculus-with-js/examples/bool.js

Using JS' anonymous functions to perform lambda calculus

import { K } from './combinatory';
export const bTrue = K;
export const bFalse = _ => y => y;
export function getBool(n) {
    return n ? bTrue : bFalse;
}
export function deBool(n) {
    return n(true)(false);
}
export const and = a => b => a(b)(a);
export const or = a => b => a(a)(b);
export const not = a => a(bFalse)(bTrue);