Replace:
...means that we principles of recursion and induction...
With:
...means that we *can use* principles of recursion and induction...
It looks like the real backing source repository for the lamr textbook isn't publicly available, so this change is made against the Sphinx-generated content on the GitHub Pages branch. Hopefully a concrete pull request will be easier to use in fixing the upstream text than a textual description of the change via GitHub issue.
Minor typo correction, change as follows:
Replace:
...means that we principles of recursion and induction...
With:
...means that we *can use* principles of recursion and induction...
It looks like the real backing source repository for the
lamr
textbook isn't publicly available, so this change is made against the Sphinx-generated content on the GitHub Pages branch. Hopefully a concrete pull request will be easier to use in fixing the upstream text than a textual description of the change via GitHub issue.