The code block after "Welcome" is the code sample. Very literate.
I do lose track after that though, in my brain, It looks like the entire second part after the second pipe character should be just one long fact assigned to the stack between tildes, but I think it's adding each one of the bullet-prefixed lines to it.
[0] https://nova-lang.net/introduction-to-nova/sight/#sometimes-...