Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool