> Space: O(n). No code is ever duplicated, so the one-lined code produced is linear in the size of the input code.
Seems like a non sequitur?
Seems like a non sequitur?
In which case, yeah, it's a little incongruous. The "space" bit is talking about the textual representation of the program produced, while the "time" bit is talking about the runtime characteristics of the program.