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

Using JS' anonymous functions to perform lambda calculus

import { Lambda } from '..';
export declare const l0: Lambda;
export declare function getList(l: Lambda[]): Lambda;
export declare function deList(l: Lambda): Lambda[];
export declare const pushedHead: Lambda;
export declare const pushedTail: Lambda;
export declare const deletedHead: Lambda;
export declare const deletedMany: Lambda;
export declare const head: Lambda;
export declare const indexed: Lambda;
export declare const reversed: Lambda;
export declare const tail: Lambda;
export declare const deletedTail: Lambda;
export declare const deletedTailUntil: Lambda;