还没工作。 为了处理暂停问题，可使用调试器操作来导航计算和数据：linearForward和treeForward，它们可导航到天文学上很大的位字符串，其中1为（而0为）。 所有对均源自（）。 例如，true表示为（（（（）（））（））），false表示为（（）（（）（））））。 它似乎与lambda的教堂编码有关，其中T选择一对中的第一个参数，F选择第二个参数。 连续性几乎是完成的代码，并表示为一对堆栈和队列。 堆栈是对的对或错，以及将对象压入堆栈的链接列表。 队列也是这样的链表，但配对相反，因此前一个队列状态在新对的左侧，而下一个对象在新对的右侧，因此，当按该天文学上长的位串的顺序浏览队列时（即重用的指数）无环网中的对象），Nav32（使用linearForward和treeForward进行随机访问）首先看到排队的最早对象
