4.1When a loop fits
Updated (this page's history on GitHub)
Planned. Has an outline, but is not yet written out.
What this section will cover
- When a loop fits: the goal must be machine-checkable
Updated (this page's history on GitHub)
Planned. Has an outline, but is not yet written out.