Numbers are defined further down, in terms of those primitives. Search for the p...

		pjscott on Oct 12, 2019 \| parent \| context \| favorite \| on: Show HN: Bel Numbers are defined further down, in terms of those primitives. Search for the phrase "Now we come to the code that implements numbers."