ski-calculus topic
List
ski-calculus repositories
chemski
15
Stars
2
Forks
Watchers
Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
