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

Using JS' anonymous functions to perform lambda calculus

import { Lambda } from '..';
export declare const bTrue: Lambda;
export declare const bFalse: Lambda;
export declare function getBool(n: boolean): Lambda;
export declare function deBool(n: Lambda): boolean;
export declare const and: Lambda;
export declare const or: Lambda;
export declare const not: Lambda;