Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
Primary LanguageJavaScript