plookn

Good 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.

Even 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...