comment fix

LeventErkok · Sep 5, 2024 · 3a94a63 · 3a94a63
1 parent bc381a0
commit 3a94a63
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Documentation/SBV/Examples/KnuckleDragger/AppendRev.hs b/Documentation/SBV/Examples/KnuckleDragger/AppendRev.hs
@@ -47,7 +47,7 @@ consApp = lemma "consApp"
              (\(Forall @"x" (x :: SInteger)) (Forall @"xs" xs) (Forall @"ys" ys) -> (x .: xs) ++ ys .== x .: (xs ++ ys))
              []
 
--- | Prove that list append is associative.
+-- | @(xs ++ ys) ++ zs == xs ++ (ys ++ zs)@
 --
 -- We have:
 -- >>> appendAssoc