Addition Exercise Off-by-One Error
A student kindly pointed out that I made an off by one error in my proof for unique normalization of addition expressions. Fixed here.
A student kindly pointed out that I made an off by one error in my proof for unique normalization of addition expressions. Fixed here.