Narcissist: Difference between revisions
Content added Content deleted
m (→{{header|TXR}}: Txr => TXR, because the wiki is case sensitive and the other 14 examples use TXR.) |
(→{{header|TXR}}: Notes about termination in proof section.) |
||
Line 173: | Line 173: | ||
These cases are an exhaustive partitioning of the possibilities; there are no ways to modify the data which do not land into one of these cases. |
These cases are an exhaustive partitioning of the possibilities; there are no ways to modify the data which do not land into one of these cases. |
||
Nothing in the query calls for any iteration or recursion. Termination depends on the base64 and sed utilities munching through the input, which presumably process an input of size N in O(N) steps. On that note, we could limit how many lines of the input are passed to base64 by using <code>sed -n -e '2,20p'</code>. |