Skip to content

Commit 9bc4ac5

Browse files
Fix grammar
1 parent f262e76 commit 9bc4ac5

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

src/Tutorial_01_Introduction.lhs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -235,8 +235,7 @@ src/Tutorial_01_Introduction.lhs:30:27: error:
235235
| ^^^^^^^^^
236236
~~~~~
237237

238-
**Step 3:** Iteratively edit-compile until the code in `src/`
239-
238+
**Step 3:** Iteratively edit-compile the code in `src/`
240239
until it _builds_ without any liquid type errors.
241240

242241
The above workflow will let you use whatever GHC/Haskell tooling you use for your

0 commit comments

Comments
 (0)