UNPKG

lambda-calculus-with-js

Version:

Using JS' anonymous functions to perform lambda calculus

6 lines (5 loc) 214 B
import { Lambda } from '..'; import { bTrue as former, bFalse as latter } from './bool'; export declare const tuple: Lambda; export declare function deTuple(t: Lambda): [Lambda, Lambda]; export { former, latter };