tutorial
tutorial copied to clipboard
Write Section 7.8 Well-Founded Recursion
Just leaving this issue here as a reminder for the TODO in the text (from aaa36e6 on Dec 30, 2014).
Again, thanks. We can do well-founded recursions by hand (see, for example, library/data/nat/div), but we still do not have a friendly user front end.