From e397ada22e0c518f9ab4978c158b14109100eb13 Mon Sep 17 00:00:00 2001
From: Olaf Hochherz <olaf.hochherz@itpower.de>
Date: Tue, 1 Jul 2025 16:15:48 +0200
Subject: [PATCH 1/2] two typos

---
 crates/hoars/src/format.rs |  2 +-
 crates/hoars/src/lib.rs    | 12 ++++++------
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/crates/hoars/src/format.rs b/crates/hoars/src/format.rs
index ef14534..931d27f 100644
--- a/crates/hoars/src/format.rs
+++ b/crates/hoars/src/format.rs
@@ -279,7 +279,7 @@ impl TryFrom<String> for Property {
             "weak" => Ok(Property::Weak),
             "very-weak" => Ok(Property::VeryWeak),
             "inherently-weak" => Ok(Property::InherentlyWeak),
-            "terminatl" => Ok(Property::Terminal),
+            "terminal" => Ok(Property::Terminal),
             "tight" => Ok(Property::Tight),
             "colored" => Ok(Property::Colored),
             unknown => Err(format!("{} is not a valid property", unknown)),
diff --git a/crates/hoars/src/lib.rs b/crates/hoars/src/lib.rs
index ca11598..c8b1b93 100644
--- a/crates/hoars/src/lib.rs
+++ b/crates/hoars/src/lib.rs
@@ -10,8 +10,8 @@ mod value;
 
 pub mod label;
 pub use label::{
-    AbstractLabelExpression, HoaAlphabet, HoaExpression, HoaRepr, HoaSymbol, Label,
-    LabelExpression, MAX_APS, build_vars,
+    build_vars, AbstractLabelExpression, HoaAlphabet, HoaExpression, HoaRepr, HoaSymbol, Label,
+    LabelExpression, MAX_APS,
 };
 
 use tracing::warn;
@@ -24,7 +24,7 @@ use ariadne::{Color, Fmt, ReportKind, Source};
 use chumsky::prelude::*;
 pub use format::*;
 
-use chumsky::{Parser, prelude::Simple};
+use chumsky::{prelude::Simple, Parser};
 pub use format::{
     AcceptanceCondition, AcceptanceInfo, AcceptanceName, AcceptanceSignature, AliasName, Property,
 };
@@ -453,11 +453,11 @@ mod tests {
     use tracing::error;
 
     use crate::{
-        AcceptanceAtom, AcceptanceCondition, AcceptanceName, AcceptanceSignature, Body, HeaderItem,
-        HoaRepresentation, StateConjunction,
         body::{Edge, State},
         header::Header,
         label::AnonymousAbstract,
+        AcceptanceAtom, AcceptanceCondition, AcceptanceName, AcceptanceSignature, Body, HeaderItem,
+        HoaRepresentation, StateConjunction,
     };
 
     #[test]
@@ -491,7 +491,7 @@ mod tests {
         let hoa_aut = HoaRepresentation::try_from(contents);
 
         if let Err(err) = hoa_aut {
-            error!("Encountered paring error\n{}", err);
+            error!("Encountered parsing error\n{}", err);
             return;
         }
 

From d64c38deabe88121ee1cf1ab35360a00093249a5 Mon Sep 17 00:00:00 2001
From: Olaf Hochherz <olaf.hochherz@itpower.de>
Date: Thu, 25 Sep 2025 14:52:31 +0200
Subject: [PATCH 2/2] one more typo

---
 crates/hoars/src/lib.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crates/hoars/src/lib.rs b/crates/hoars/src/lib.rs
index c8b1b93..74f22ee 100644
--- a/crates/hoars/src/lib.rs
+++ b/crates/hoars/src/lib.rs
@@ -187,7 +187,7 @@ impl HoaRepresentation {
         })
     }
 
-    /// Returns the number of edges in the automaton.
+    /// Returns the start state conjunction.
     pub fn start(&self) -> Vec<&StateConjunction> {
         debug_assert!(
             self.header()