From 110ac296d4fd0e4247a458a70af7d8f661eebd7d Mon Sep 17 00:00:00 2001 From: "David A. Wheeler" Date: Mon, 4 Nov 2024 12:46:18 -0500 Subject: [PATCH] Fix lint complaints Signed-off-by: David A. Wheeler --- docs/index.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/index.md b/docs/index.md index 7013c76..046a5f3 100644 --- a/docs/index.md +++ b/docs/index.md @@ -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: