UNPKG

lambda-calculus-with-js

Version:

Using JS' anonymous functions to perform lambda calculus

7 lines (6 loc) 244 B
import { Test } from 'tape'; import { Lambda } from '.'; export declare function getLambdaEq(t: Test): (a: Lambda, b: Lambda, msg?: string) => void; import './examples/bool.test'; import './examples/list.test'; import './examples/number.test';