combinatory-chemistry
There are 1 repositories under combinatory-chemistry topic.
mbuliga/chemski
Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
There are 1 repositories under combinatory-chemistry topic.
Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.