An implementation of a parser, evaluator, printer, and visualizer for the SKI combinators in TypeScript.
In the checkout directory:
npm run build
npx ski- Combinators: A Centennial View, Stephen Wolfram
- To Mock a Mockingbird, Raymond Smullyan
- Combinatory Logic Volume I, Haskell Brooks Curry & Robert Feys
- Turner, David. “A new implementation technique for applicative languages.” Software: Practice and Experience 9 (1979): n. pag.
- Stoye, William et al. “Some practical methods for rapid combinator reduction.” LFP '84 (1984).
