nats-theory-II-funcs
(continuation of • nats-theory-I-template )
Programs processing natural-numbers, via their recursive definition. (a) functions using our own from-scratch representation, and (b) the language's built-in numbers.
(continuation of • nats-theory-I-template )
Programs processing natural-numbers, via their recursive definition. (a) functions using our own from-scratch representation, and (b) the language's built-in numbers.
