SKK reduces to I in chemlambda

You want to make your own visualizations and play with them? Easy!

explanations page // the gallery of other examples // Visual tutorial

Corresponds to the reduction of SKK to I in combinatory logic.

Node becomes fixed after click and drag. Double click to release node. The source for the initial graph is skk.mol.

This page uses d3.js.