Lambda calculus resources

main.md

1. Stanford's combinatory compiler

Compiles pseudo-language to WASM with intermediate form in SK-basis.

2. Combinator birds

Table data with lambda abstraction, corresponding combinator sequence and combinator sequence in SK-basis.

3. LambdaJS

Automatic beta-reduction.

4. Common combinators in JavaScript

Combinator implementations, type signatures and references.