plookn·11 anni fa·discussGood point! The only part we need to check is the base case. Since the result holds for n=0, I'd say you're right.
plookn·11 anni fa·discussEven after finishing the readme I'm not clear on what exactly this does. At the very least it looks useful for working around the macros problem[1]. Mind explaining what mileage you got out of it?[1]: http://blog.fikesfarm.com/posts/2015-09-07-messing-with-macr...