… wait, what? You can equate predicates of predicates but not predicates?!
(Two hours later)
Well, I’ll be damned...
The key here is the halting requirement. The other stuff is red herrings.
Inconceivable, isn’t it? Extra points for actually implementing it.
… wait, what? You can equate predicates of predicates but not predicates?!
(Two hours later)
Well, I’ll be damned...
The key here is the halting requirement. The other stuff is red herrings.
Inconceivable, isn’t it? Extra points for actually implementing it.