UNPKG

lambda-calculus-with-js

Version:

Using JS' anonymous functions to perform lambda calculus

7 lines (6 loc) 198 B
import { bTrue as former, bFalse as latter } from './bool'; export const tuple = a => b => T => T(a)(b); export function deTuple(t) { return [t(former), t(latter)]; } export { former, latter };