Oh my
Do you think there’s a different basis set of combinators besides S, K that could produce a smaller self interpreter than lambda calculus?
That’s just the OP url again, I think you miscopied.
Oh my
Do you think there’s a different basis set of combinators besides S, K that could produce a smaller self interpreter than lambda calculus?
That’s just the OP url again, I think you miscopied.