From 3a94a63ddff3485dd5b1ef1c1c77f1b113b5a597 Mon Sep 17 00:00:00 2001 From: Levent Erkok Date: Thu, 5 Sep 2024 12:50:17 -0700 Subject: [PATCH] comment fix --- Documentation/SBV/Examples/KnuckleDragger/AppendRev.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Documentation/SBV/Examples/KnuckleDragger/AppendRev.hs b/Documentation/SBV/Examples/KnuckleDragger/AppendRev.hs index 50448cc17..170c5ad89 100644 --- 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