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]:…
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]:…