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

Using JS' anonymous functions to perform lambda calculus

import { Lambda } from '..';
import { bFalse as n0 } from './bool';
export declare const plus: Lambda;
export declare const multi: Lambda;
export declare const succ: Lambda;
export declare const pred: Lambda;
export declare const minus: Lambda;
export declare const isZero: Lambda;
export declare const le: Lambda;
export declare const gt: Lambda;
export declare const ge: Lambda;
export declare const ls: Lambda;
export declare const eq: Lambda;
export declare const ne: Lambda;
export { n0 };
export declare function getNumber(n: number): Lambda;
export declare function deNumber(n: Lambda): number;
export declare const factorial: Lambda;