Section 10Want more of a challenge? View in iconic form (experimental)

# MATH introduce a simple form of binary notation
# After this lesson, in the higher-level version of the message,
# will expand decimal to stand for the binary notation given.
# It wouldn't be hard to accompany this lesson with a more
# formal definition once functions are introduced (below)
# so maybe the transition to binary shouldbe delayed?
[hear] (= 00 (.));

[hear] (= 010 (:));

[hear] (= 0110 (:.));

[hear] (= 01110 (::));

[hear] (= 011110 (:..));

[hear] (= 0111110 (:.:));

[hear] (= 01111110 (::.));

[hear] (= 011111110 (:::));

[hear] (= 0111111110 (:...));

[hear] (= 01111111110 (:..:));

[hear] (= 011111111110 (:.:.));

[hear] (= 0111111111110 (:.::));

[hear] (= 01111111111110 (::..));

[hear] (= 011111111111110 (::.:));

[hear] (= 0111111111111110 (:::.));

[hear] (= 01111111111111110 (::::));

[hear] (= (::.) 01111110);

[hear] (= (:::) 011111110);

[hear] (= (:::.) 0111111111111110);

[hear] (= (.) 00);

[hear] (= (:) 010);

[hear] (= (:..) 011110);

[hear] (= (:) 010);

[hear] (= (::..) 01111111111110);

[hear] (= (:::) 011111110);

[hear] (= (::::) 01111111111111110);

[hear] (= (:::) 011111110);

[hear] (= (:...) 0111111110);

[hear] (= (::::) 01111111111111110);

[hear] (= (::.) 01111110);

[hear] (= (:.:) 0111110);

[hear] (= (:...) 0111111110);

[hear] (= (:...) /
+ (:...) (.));

[hear] (= (:.::) /
+ (::) (:...));

[hear] (= (:::) / + (:::) (.));

[hear] (= (:..::) /
+ (:.:.) (:..:));

[hear] (= (:..:) /
+ (:) (:...));

[hear] (= (:.::.) /
+ (::..) (:.:.));

[hear] (= (:..::) /
+ (:.::) (:...));

[hear] (= (::..) /
+ (:..:) (::));

[hear] (= (::::.) /
* (:.:) (::.));

[hear] (= (::.:.) /
* (::.:) (:.));

[hear] (= (::::..) /
* (::.) (:.:.));

[hear] (= (::::::) /
* (:::) (:..:));

[hear] (= (:....:) /
* (::) (:.::));

[hear] (= (::..:) /
* (:.:) (:.:));

[hear] (= (:...) /
* (:..) (:.));

[hear] (= (:.::.:.) /
* (::.) (::::));