Richard Möhn
Richard Möhn
Ah, makes sense. Sometimes I need to be shown the forest again. Here is Ben's answer, which is similar: > The main reason is that sometimes subproblems that are actually...
I guess there is no general way of detecting cycles, then. (*On Patchwork With an Application to the Entscheidungsproblem*?) For one, the user might ask for infinite data: ``` R:...
Another glitch with the scratchpad: ``` What is your root question? > Is [] the empty list? Question: [$1: Is [$2: ] the empty list?] Scratchpad: [$2: ] Subquestions: >...
But since Patchwork is not intended for end users, this issue is probably unimportant.
Okay, here is my analysis, then. Example: ``` What is your root question? > Bat? Question: [$1: Bat?] Scratchpad: [$2: ] Subquestions: > scratch Bat? Question: [$1: Bat?] Scratchpad: [$1:...
Long live open source development! Because you can make your own fork and fix the problem.