📄 foo158
字号:
Num RPBS 1 Num ADFS 3 ARITY 0 0 0RPB_Num 0: with 2 points(not (adf0 ))ADF_Num 0: with 19 points(splitR (to_node (done ))(write_node (splitR (splitA (splitR (to_node (write_node (done )))(retract (retract (done ))))(write_node (to_node (write_node (done )))))(to_node (done )))))ADF_Num 1: with 35 points(splitR (splitA (splitR (write_node (done ))(splitR (retract (write_node (splitR (done )(done ))))(write_node (to_node (done )))))(write_node (splitA (splitA (write_node (retract (done )))(write_node (splitR (done )(done ))))(retract (splitR (done )(done ))))))(retract (to_node (to_node (write_node (retract (write_node (done ))))))))ADF_Num 2: with 5 points(splitR (write_node (done ))(to_node (done )))
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -