allow "Repeat n times" (#567)

Author: bakkot

src/lint/rules/algorithm-line-style.ts

@@ -151,10 +151,13 @@ export default function (
     if (stepSeq.items.length === 1 && initialText === 'Repeat,') {
       return;
     }
+    if (/ times:$/.test(finalText)) {
+      return;
+    }
     if (!/^Repeat, (?:while|until) /.test(initialText)) {
       report({
         ruleId,
-        message: `expected "Repeat" to start with "Repeat, while " or "Repeat, until "`,
+        message: `expected "Repeat" to look like "Repeat _n_ times:", "Repeat, while ..." or "Repeat, until ..."`,
         ...locate(first.location.start.offset),
       });
     }

test/lint-algorithms.js

@@ -248,6 +248,8 @@ describe('linting algorithms', () => {
             1. Substep.
           1. Repeat,
             1. Substep.
+          1. Repeat _x_ times:
+            1. Substep.
           1. Repeat, while foo,
             1. Substep.
           1. Repeat, until foo,