chemski
chemski copied to clipboard
mbuliga
Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
Results
0
chemski issues
Sort by
recently updated
recently updated
newest added