Hacker News Reader

Well, quite: if you add that code must run sequentially it's the Boehm-Jacopini theorem: https://en.wikipedia.org/wiki/Structured_program_theorem

Pure functional programming languages take this a step further and say everything is just composition. (From my understanding)