Skip to content

Commit

Permalink
Fix lint complaints
Browse files Browse the repository at this point in the history
Signed-off-by: David A. Wheeler <dwheeler@dwheeler.com>
david-a-wheeler committed Nov 4, 2024
1 parent c09e647 commit 110ac29
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions docs/index.md
Original file line number Diff line number Diff line change
@@ -4031,10 +4031,10 @@ because the conclusion has a `0` syntactic constant which is later followed by a

Here are the modifiers:

* + - match adjacent symbols
* ! - exact match (identical length)
* a - match only the assertion of a frame
* h - match any hypotheses of a frame
* + : match adjacent symbols
* ! : exact match (identical length)
* a : match only the assertion of a frame
* h : match any hypotheses of a frame

Here are some examples:

0 comments on commit 110ac29

Please sign in to comment.