I was reading the Urbit docs and stopped at this paragraph (emphasis mine):
The main thing to understand about our ‘overlay OS’, as we call it, is that the foundation is a single, simple function. This function is the Urbit OS virtual machine. We call it ‘Nock’. The entire Urbit OS system compiles down to Nock, and Nock is just 33 lines of code.
As per their other docs, Nock seems to be this Turing-complete function.
What I'm trying to get my head around is the "compiles down" wording. How can an operating system reduce to one single function?