Compiles pseudo-language to WASM with intermediate form in SK-basis.
Table data with lambda abstraction, corresponding combinator sequence and combinator sequence in SK-basis.
Automatic beta-reduction.
Combinator implementations, type signatures and references.