/SK-Combinators

A machine learning analysis of the halting problem for SK Combinators

Primary LanguageMathematica

Stargazers