# trying to find fixed points of interpret-list # see ramblings.txt for a lot : i interpret-list ; : p pack ; : x .S stack drop ; # the first one i found # ((dup 2 pack split concat) dup 2 pack split concat) # # which by analysis leads to the shorter one # ((dup unsplit) dup unsplit) # these can be represented in the form ((q) q) : q1 dup 2 pack split concat ; : q2 dup unsplit ; interactive