You are viewing a single comment's thread. Return to all comments →
aka the divergent combinator aka omega.
My mistake was thinking that the " "'s were necc when they needed to be stripped.
Seems like cookies are disabled on this browser, please enable them to open this website
Lambda Calculus - Reductions #3
You are viewing a single comment's thread. Return to all comments →
aka the divergent combinator aka omega.
My mistake was thinking that the " "'s were necc when they needed to be stripped.