Ethiopian multiplication: Difference between revisions

m
Line 1,573:
</lang>
The program above makes use of the functions odd, double, and half, which respectively
check for whether or not a number is not even, double a given number, or perform truncating
division by two. These functions are imported from the nat library and would not be
be redefined in practice. To comply with the task specification, they can be defined
Anonymous user