From a9ba031d035a9a5c2f65b788509bf507a9c99d43 Mon Sep 17 00:00:00 2001 From: Paul Cadman Date: Mon, 3 Feb 2025 17:47:30 +0000 Subject: [PATCH] Fix typos in docs --- app/Commands/Dev/Anoma/Prove/Options/ProveArgTag.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/app/Commands/Dev/Anoma/Prove/Options/ProveArgTag.hs b/app/Commands/Dev/Anoma/Prove/Options/ProveArgTag.hs index 7b74c45de1..ab23d6d38e 100644 --- a/app/Commands/Dev/Anoma/Prove/Options/ProveArgTag.hs +++ b/app/Commands/Dev/Anoma/Prove/Options/ProveArgTag.hs @@ -49,8 +49,8 @@ proveArgTagHelp = itemize (tagHelp <$> allElements) unjammedAtom :: AnsiDoc = annotate bold "unjammed atom" (mvar, explain) = first sty $ case t of ProveArgTagNat -> ("NATURAL", "is passed verbatim as a nockma atom") - ProveArgTagByteArray -> ("FILE", "is a file containing bytes that respresent a ByteArray") - ProveArgTagList -> ("FILE", "is a file containing a newline delimited list of byte64 bytes that respresents a list of jammed nouns") + ProveArgTagByteArray -> ("FILE", "is a file containing bytes that represent a ByteArray") + ProveArgTagList -> ("FILE", "is a file containing a newline delimited list of byte64 bytes that represents a list of jammed nouns") ProveArgTagBase64 -> ("FILE", "is a file containing a base64 encoded nockma atom that represents a" <+> jammedNoun) ProveArgTagBytes -> ("FILE", "is a file containing bytes of a nockma atom that represents a" <+> jammedNoun) ProveArgTagBase64UnJammed -> ("FILE", "is a file containing a base64 encoded nockma atom that represents an" <+> unjammedAtom)